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