R-Mingle is Nice, and so is Arnon Avron

DOI10.1007/978-3-030-71258-7_7OpenAlexW3187548553MaRDI QIDQ5020167

J. Michael Dunn

Publication date: 4 January 2022

Published in: Outstanding Contributions to Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-030-71258-7_7

zbMATH Keywords

paraconsistentRMR-mingleArnon Avronconsumer's guidelogics as toolsrelevantsemi-relevant

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) General and overarching topics; collections (00-XX)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• What is relevance logic?
• Ideal paraconsistent logics
• Dual gaggle semantics for entailment
• Semantics for quantified relevance logic
• Whither relevance logic?
• A Kripke-style semantics for R-mingle using a binary accessibility relation
• Quantification and RM
• Cut-elimination theorem for relevant logics
• Fragments of R-mingle
• Handbook of philosophical logic. Vol. 6
• Intuitive semantics for first-degree entailments and `coupled trees'
• Display logic
• Partiality and its dual
• A note on R-Mingle and Sobociński's three-valued logic
• The undecidability of entailment and relevant implication
• A constructive analysis of RM
• The pure calculus of entailment
• What is strict implication?
• Proof Theory
• An alternative semantics for quantified relevant logic
• A System for Strict Implication
• Algebraic completeness results for R-mingle and its extensions
• Independent Axioms for the Implicational Fragment of Sobociński's Three‐Valued Logic
• Extensions of the Lewis system S5

This page was built for publication: R-Mingle is Nice, and so is Arnon Avron