A note on R-Mingle and Sobociński's three-valued logic

DOI10.1305/NDJFL/1093894720MaRDI QIDQ2545151zbMATH OpenOpenAlexFDO

Authors R. Z. Parks

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

Mathematics Subject Classification ID

Many-valued logic (03B50)

Cited in

(13)

• What is relevance logic?
• Paraconsistency and the need for infinite semantics
• Implicational Logic, Relevance, and Refutability
• A constructive analysis of RM
• \(\mathbf{RM}\) and its nice properties
• ASSERTIONALLY EQUIVALENT QUASIVARIETIES
• R-Mingle is Nice, and so is Arnon Avron
• Single axioms and axiom-pairs for the implicational fragments of \(\mathbf{R} \), R-Mingle, and some related systems
• The external version of a subclassical logic
• Relevant entailment—semantics and formal systems
• Semi-implication: a chapter in universal logic
• A second pretabular classical relevance logic
• Paraconsistent constructive logic with strong negation as a contraction-free relevant logic

This page was built for publication: A note on R-Mingle and Sobociński's three-valued logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2545151)