An alternative formalisation of Sobociński's three‐valued implicational propositional calculus

DOI10.1002/MALQ.19560021003zbMATH Open0074.01004OpenAlexW2003794157MaRDI QIDQ3238328FDOQ3238328

Authors: Alan Rose 

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

zbMATH Keywords

Philosophy and Foundations of Mathematics

Cited In (3)

• Fragments of R-mingle
• Single axioms and axiom-pairs for the implicational fragments of \(\mathbf{R} \), R-Mingle, and some related systems
• Relevant entailment—semantics and formal systems

This page was built for publication: An alternative formalisation of Sobociński's three‐valued implicational propositional calculus

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3238328)