An alternative formalisation of Sobociński's three‐valued implicational propositional calculus
From MaRDI portal
Publication:3238328
DOI10.1002/malq.19560021003zbMath0074.01004MaRDI QIDQ3238328
Publication date: 1956
Published in: Mathematical Logic Quarterly (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.19560021003
Related Items
Fragments of R-mingle, Single Axioms and Axiom-Pairs for the Implicational Fragments of $$\mathbf {R}$$ R , R-Mingle, and Some Related Systems, Relevant entailment—semantics and formal systems