Publisher
Springer Berlin Heidelberg
Reference16 articles.
1. M. D’Agostino and D. Gabbay. A generalisation of analytic deduction via labelled deductive systems. Part I: Basic substructural Logics. Journal of Automated Reasoning, 13:243–281, 1994.
2. K. Broda, M. Finger and A. Russo. Labelled Natural Deduction for Substructural Logics. Logic Journal of the IGPL, Vol. 7, No. 3, May 1999.
3. K. Broda and D. Gabbay. An Abductive CLDS. In Labelled Deduction, Kluwer, Ed. D. Basin et al, 1999.
4. K. Broda and D. Gabbay. A CLDS for Propositional Intuitionistic Logic. TABLEAUX-99, USA, LNAI 1617, Ed. N. Murray, 1999.
5. K. Broda and A. Russo. A Unified Compilation Style Labelled Deductive System for Modal and Substructural Logic using Natural Deduction. Technical Report 10/97. Department of Computing, Imperial College 1997.