Independent Axioms for the Implicational Fragment of Sobociński's Three‐Valued Logic
From MaRDI portal
Publication:5675344
DOI10.1002/malq.19720181903zbMath0261.02011OpenAlexW1969680484WikidataQ114696435 ScholiaQ114696435MaRDI QIDQ5675344
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
Related Items
Representable idempotent commutative residuated lattices ⋮ Relevant entailment—semantics and formal systems ⋮ Shortest axiomatizations of implicational S4 and S5 ⋮ Single Axioms and Axiom-Pairs for the Implicational Fragments of $$\mathbf {R}$$ R , R-Mingle, and Some Related Systems ⋮ Fragments of R-mingle ⋮ R-Mingle is Nice, and so is Arnon Avron ⋮ Implicational F-structures and implicational relevance logics