\(\mathbf R\) and relevance principle revisited
From MaRDI portal
Publication:381004
DOI10.1007/s10992-012-9247-1zbMath1316.03008MaRDI QIDQ381004
Publication date: 15 November 2013
Published in: Journal of Philosophical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10992-012-9247-1
03B47: Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics)
Related Items
Variable Sharing in Substructural Logics: an Algebraic Characterization, INFINITARY PROPOSITIONAL RELEVANT LANGUAGES WITH ABSURDITY, Varieties of Relevant S5, What is a relevant connective?
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Residuated lattices. An algebraic glimpse at substructural logics
- Where gamma fails
- Classical relevant logics. II
- The semantics of entailment. III
- New axiomatics for relevant logics. I
- Substructural logics with mingle
- Partiality and its dual
- ``Four-valued semantics for the relevant logic R
- The pure calculus of entailment
- Logical Pluralism
- Substructural fuzzy logics
- Algebraic completeness results for R-mingle and its extensions
- On the semantic non-completeness of certain Lewis calculi
- Protoalgebraic logics