Substructural implicational logics including the relevant logic E
From MaRDI portal
Publication:1970643
DOI10.1023/A:1005210613711zbMath0943.03019OpenAlexW2338277731MaRDI QIDQ1970643
Publication date: 5 September 2000
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1023/a:1005210613711
sequent calculussubstructural logicrelevant logicintuitionistic logiccut-eliminationBCK-logicimplicational fragmentsBCI-logictheorem-equivalence
Cut-elimination and normal-form theorems (03F05) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)
Related Items
Single Axioms and Axiom-Pairs for the Implicational Fragments of $$\mathbf {R}$$ R , R-Mingle, and Some Related Systems ⋮ 2005 Annual Meeting of the Association for Symbolic Logic