Publication:3235349
From MaRDI portal
zbMath0073.24902MaRDI QIDQ3235349
Publication date: 1956
Related Items
A proof of axiomatizability of Lukasiewicz's three-valued implicational propositional calculus, Proof of structural completeness of a certain class of implicative propositional calculi, Algèbres implicatives trivalentes de Lukasiewicz libres, On structural completeness of many-valued logics