R-Mingle is Nice, and so is Arnon Avron

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

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

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

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

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

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)