R-Mingle is Nice, and so is Arnon Avron
From MaRDI portal
Publication:5020167
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
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)
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)