scientific article
From MaRDI portal
Publication:3235349
zbMath0073.24902MaRDI QIDQ3235349
Publication date: 1956
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
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
This page was built for publication:
