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.
@article{DAgostinoG94,
title = {A Generalization of Analytic Deduction via Labelled Deductive Systems. Part I: Basic Substructural Logics},
author = {Marcello D Agostino and Dov M. Gabbay},
year = {1994},
tags = {logic},
researchr = {https://researchr.org/publication/DAgostinoG94},
cites = {0},
citedby = {0},
journal = {Journal of Automated Reasoning},
volume = {13},
number = {2},
pages = {243-281},
}