Substructural implicational logics including the relevant logic E

DOI10.1023/A:1005210613711zbMath0943.03019OpenAlexW2338277731MaRDI QIDQ1970643

Ryo Kashima, Norihiro Kamide

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

zbMATH Keywords

sequent calculussubstructural logicrelevant logicintuitionistic logiccut-eliminationBCK-logicimplicational fragmentsBCI-logictheorem-equivalence

Mathematics Subject Classification ID

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