On a fragment of the implicative propositional calculus
From MaRDI portal
Publication:766811
DOI10.1007/BF02067260zbMath0068.01007OpenAlexW2322681704MaRDI QIDQ766811
Publication date: 1955
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf02067260
Related Items (5)
Some structure results for propositional calculi ⋮ A calculus for the common rules of \(\wedge\) and \(\vee\) ⋮ Axiomatizing logics closely related to varieties ⋮ A note on direct products and ultraproducts of logical matrices ⋮ Axiomatization of semigroup consequences
Cites Work
This page was built for publication: On a fragment of the implicative propositional calculus
