Labelled Natural Deduction for Substructural Logics

Krysia Broda, Marcelo Finger, Alessandra Russo. Labelled Natural Deduction for Substructural Logics. Logic Journal of the IGPL, 7(3):283-318, 1999. [doi]

Abstract

Abstract is missing.