Relational Proof System for Linear and Other Substructural Logics

Wendy MacCaull. Relational Proof System for Linear and Other Substructural Logics. Logic Journal of the IGPL, 5(5):673-697, 1997. [doi]

Abstract

Abstract is missing.