Formal Notes on the Substitutional Analysis of Logical Consequence

Volker Halbach. Formal Notes on the Substitutional Analysis of Logical Consequence. Notre Dame Journal of Formal Logic, 61(2):317-339, 2020. [doi]

Abstract

Abstract is missing.