Substructural implicational logics including the relevant logic E
DOI10.1023/A:1005210613711zbMATH Open0943.03019OpenAlexW2338277731MaRDI QIDQ1970643FDOQ1970643
Authors: 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
Recommendations
- Cut elimination theorems and a canonical model construction for some implicational substructural logics
- scientific article; zbMATH DE number 1377699
- scientific article; zbMATH DE number 1138593
- Relevance Principle for Substructural Logics with Mingle and Strong Negation
- Sequent Calculi for Some Strict Implication Logics
substructural logicintuitionistic logicsequent calculuscut-eliminationrelevant logicBCK-logicimplicational fragmentsBCI-logictheorem-equivalence
Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Cut-elimination and normal-form theorems (03F05)
Cited In (9)
- Synthesized substructural logics
- Cut elimination theorems and a canonical model construction for some implicational substructural logics
- Title not available (Why is that?)
- Sequent Calculi for Some Strict Implication Logics
- Relevance Principle for Substructural Logics with Mingle and Strong Negation
- 2005 Annual Meeting of the Association for Symbolic Logic
- Single Axioms and Axiom-Pairs for the Implicational Fragments of $$\mathbf {R}$$ R , R-Mingle, and Some Related Systems
- Implications-as-rules vs. implications-as-links: an alternative implication-left schema for the sequent calculus
- Implicational F-structures and implicational relevance logics
This page was built for publication: Substructural implicational logics including the relevant logic E
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1970643)
