Marcello D Agostino, Dov M. Gabbay. A Generalization of Analytic Deduction via Labelled Deductive Systems. Part I: Basic Substructural Logics. Journal of Automated Reasoning, 13(2):243-281, 1994.
No references recorded for this publication.
No citations of this publication recorded.