Automated Reasoning With Analytic Tableaux: A Generalization of Analytic Deduction via Labelled Deductive Systems. Part I: Basic Substructural Logics

Authors
M.D'Agostino,D.M.Gabbay
Citation
M.d'Agostino,d.m.gabbay, Automated Reasoning With Analytic Tableaux: A Generalization of Analytic Deduction via Labelled Deductive Systems. Part I: Basic Substructural Logics, Journal of automated reasoning , 13(2), 1994, pp. 243-279
Journal title
Journal of automated reasoning → ACNP
ISSN journal
01687433
Volume
13
Issue
2
Year of publication
1994
Part
1
Pages
243 - 279
Database
ACNP
SICI code