A generalization of analytic deduction via labelled deductive systems. Part I: Basic substructural logics

This publication has 20 references indexed in Scilit:

• The even more liberalized δ-rule in free variable Semantic Tableaux
  Published by Springer Nature ,2005
• The Taming of the Cut. Classical Refutations with Analytic Cut
  Journal of Logic and Computation, 1994
• Are tableaux an improvement on truth-tables?
  Journal of Logic, Language and Information, 1992
• Phase semantics and sequent calculus for pure noncommutative classical linear propositional logic
  The Journal of Symbolic Logic, 1991
• Simple consequence relations
  Information and Computation, 1991
• Sequent-systems and groupoid models. I
  Studia Logica, 1988
• The semantics and proof theory of linear logic
  Theoretical Computer Science, 1988
• The Semantics of Entailment
  Published by Elsevier ,1973
• The Semantics of First Degree Entailment
  Noûs, 1972
• Semantics for relevant logics
  The Journal of Symbolic Logic, 1972