\(\mathbf R\) and relevance principle revisited

DOI10.1007/s10992-012-9247-1zbMath1316.03008MaRDI QIDQ381004

Eunsuk Yang

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

zbMATH Keywords

relevance logic; (semi-)relevance principle; \textbf{R}; \textbf{RM}

Mathematics Subject Classification ID

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