R-Mingle is Nice, and so is Arnon Avron

DOI10.1007/978-3-030-71258-7_7MaRDI QIDQ5020167zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• \(\mathbf{RM}\) and its nice properties
• A note on \textbf{R}-mingle and the danger of safety
• A constructive analysis of RM
• Relevance and paraconsistency - a new approach. II: The formal systems
• On an implication connective of RM

Cites work

• scientific article; zbMATH DE number 956466 (Why is no real title available?)
• scientific article; zbMATH DE number 3504935 (Why is no real title available?)
• scientific article; zbMATH DE number 3552479 (Why is no real title available?)
• scientific article; zbMATH DE number 596497 (Why is no real title available?)
• scientific article; zbMATH DE number 1028818 (Why is no real title available?)
• scientific article; zbMATH DE number 3212004 (Why is no real title available?)
• scientific article; zbMATH DE number 3212008 (Why is no real title available?)
• scientific article; zbMATH DE number 3222098 (Why is no real title available?)
• scientific article; zbMATH DE number 3077773 (Why is no real title available?)
• A Kripke-style semantics for R-mingle using a binary accessibility relation
• A System for Strict Implication
• A constructive analysis of RM
• A note on R-Mingle and Sobociński's three-valued logic
• Algebraic completeness results for R-mingle and its extensions
• An alternative semantics for quantified relevant logic
• Cut-elimination theorem for relevant logics
• Display logic
• Dual gaggle semantics for entailment
• Extensions of the Lewis system S5
• Fragments of R-mingle
• Handbook of philosophical logic. Vol. 6
• Ideal paraconsistent logics
• Independent Axioms for the Implicational Fragment of Sobociński's Three‐Valued Logic
• Intuitive semantics for first-degree entailments and `coupled trees'
• Partiality and its dual
• Proof theory. Sequent calculi and related formalisms
• Quantification and RM
• Semantics for quantified relevance logic
• The pure calculus of entailment
• The undecidability of entailment and relevant implication
• What is relevance logic?
• What is strict implication?
• Whither relevance logic?

Cited in

(1)

• Relevant consequence relations: an invitation

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5020167)