A note on R-Mingle and Sobociński's three-valued logic
From MaRDI portal
Publication:2545151
DOI10.1305/ndjfl/1093894720zbMath0214.00902OpenAlexW2030035736MaRDI QIDQ2545151
Publication date: 1972
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1305/ndjfl/1093894720
Related Items (12)
Relevant entailment—semantics and formal systems ⋮ What is relevance logic? ⋮ Paraconsistent constructive logic with strong negation as a contraction-free relevant logic ⋮ A constructive analysis of RM ⋮ ASSERTIONALLY EQUIVALENT QUASIVARIETIES ⋮ A second pretabular classical relevance logic ⋮ $$\mathbf {RM}$$ RM and its Nice Properties ⋮ Single Axioms and Axiom-Pairs for the Implicational Fragments of $$\mathbf {R}$$ R , R-Mingle, and Some Related Systems ⋮ Paraconsistency and the need for infinite semantics ⋮ Implicational Logic, Relevance, and Refutability ⋮ Semi-implication: A Chapter in Universal Logic ⋮ R-Mingle is Nice, and so is Arnon Avron
This page was built for publication: A note on R-Mingle and Sobociński's three-valued logic
