Rules in relevant logic. II: Formula representation
From MaRDI portal
Publication:1319363
DOI10.1007/BF01053260zbMath0807.03009MaRDI QIDQ1319363
Publication date: 5 March 1995
Published in: Studia Logica (Search for Journal in Brave)
03B47: Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics)
Related Items
Belnap-Dunn Semantics for the Variants of BN4 and E4 which Contain Routley and Meyer’s Logic B, FOUR BASIC LOGICAL ISSUES
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Completeness of relevant quantification theories
- The Gentzenization and decidability of RW
- Rules in relevant logic. I: Semantic classification
- Gentzenization and decidability of some contraction-less relevant logics
- Completeness Theorems for the Systems E of Entailment and EQ of Entailment with Quantification
- The undecidability of entailment and relevant implication
- Deduction Theorems for T, E and R Reconsidered
- Deduction Theorems for Relevant Logics