A generalization of analytic deduction via labelled deductive systems. I: Basic substructural logics
Several implicational propositional systems with restricted structural rules (for example linear and relevant implication) are presented in terms of labelled deduction systems introduced by the second author.
implicational propositional systems with restricted structural rules
scientific article; zbMATH DE number 724143
scientific article