An alternative formalisation of Sobociński's three‐valued implicational propositional calculus
From MaRDI portal
Publication:3238328
DOI10.1002/malq.19560021003zbMath0074.01004OpenAlexW2003794157MaRDI 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 (3)
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 ⋮ Fragments of R-mingle
This page was built for publication: An alternative formalisation of Sobociński's three‐valued implicational propositional calculus