Independent Axioms for the Implicational Fragment of Sobociński's Three‐Valued Logic
From MaRDI portal
Publication:5675344
DOI10.1002/MALQ.19720181903zbMATH Open0261.02011OpenAlexW1969680484WikidataQ114696435 ScholiaQ114696435MaRDI QIDQ5675344FDOQ5675344
Authors: Robert K. Meyer, R. Z. Parks 
Publication date: 1972
Published in: Mathematical Logic Quarterly (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.19720181903
Cited In (7)
- Shortest axiomatizations of implicational S4 and S5
- Fragments of R-mingle
- R-Mingle is Nice, and so is Arnon Avron
- Representable idempotent commutative residuated lattices
- Single axioms and axiom-pairs for the implicational fragments of \(\mathbf{R} \), R-Mingle, and some related systems
- Relevant entailment—semantics and formal systems
- Implicational F-structures and implicational relevance logics
This page was built for publication: Independent Axioms for the Implicational Fragment of 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 Q5675344)
