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

Arnon Avronconsumer's guidelogics as toolsparaconsistentR-minglerelevantRMsemi-relevant

Mathematics Subject Classification ID

General and overarching topics; collections (00-XX) Mathematical logic and foundations (03-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

• A constructive analysis of RM
• A Kripke-style semantics for R-mingle using a binary accessibility relation
• A note on R-Mingle and Sobociński's three-valued logic
• A System for Strict Implication
• 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
• 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?)
• 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

(7)

• Relevance Domains and the Philosophy of Science
• The diamond of mingle logics: a four-fold infinite way to be safe from paradox
• Revisiting constructive mingle: algebraic and operational semantics
• Relevant consequence relations: an invitation
• A note on contradictions in Francez-Weiss logics
• Proof theory of abelian connexive logics
• Variable domain first-order first-degree entailment and some of its children

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)