Labelled natural deduction for substructural logics

DOI10.1093/jigpal/7.3.283zbMath0929.03059OpenAlexW2013618737MaRDI QIDQ4255972

Marcelo Finger, Alessandra Russo, Krysia Broda

Publication date: 11 January 2000

Published in: Logic Journal of IGPL (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/jigpal/7.3.283

zbMATH Keywords

completenesslinear logicsubstructural logicnatural deductionintuitionistic logicsoundnessrelevance logicalgorithmic proceduresLabelled Deductive SystemsLKE tableaux system

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (2)

The universe of propositional approximations ⋮ The Universe of Approximations

This page was built for publication: Labelled natural deduction for substructural logics