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

DOI10.1305/NDJFL/1093894720zbMATH Open0214.00902OpenAlexW2030035736MaRDI QIDQ2545151FDOQ2545151

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 (12)

• What is relevance logic?
• Paraconsistency and the need for infinite semantics
• Implicational Logic, Relevance, and Refutability
• A constructive analysis of RM
• ASSERTIONALLY EQUIVALENT QUASIVARIETIES
• R-Mingle is Nice, and so is Arnon Avron
• Semi-implication: A Chapter in Universal Logic
• $$\mathbf {RM}$$ RM and its Nice Properties
• Relevant entailment—semantics and formal systems
• Single Axioms and Axiom-Pairs for the Implicational Fragments of $$\mathbf {R}$$ R , R-Mingle, and Some Related Systems
• 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)