Displaying and Deciding Substructural Logics 1: Logics with Contraposition

Greg Restall. Displaying and Deciding Substructural Logics 1: Logics with Contraposition. J. Philosophical Logic, 27(2):179-216, 1998. [doi]

Abstract

Abstract is missing.