The shortest possible length of the longest implicational axiom

DOI10.1007/BF00357843zbMath0853.03001WikidataQ114018496 ScholiaQ114018496MaRDI QIDQ1914373

Dolph Ulrich

Publication date: 6 January 1997

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

zbMATH Keywords

matrix methodsclassical implicational logicshortest axiomsWajsberg/Diamond-McKinsley theorem

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Classical propositional logic (03B05) Subsystems of classical logic (including intuitionistic logic) (03B20)

Cites Work

• Unnamed Item
• A five-valued model of the E-p-q-theses
• On the number of variables in the axioms
• Algebras and their subalgebras
• Note on truth-tables

This page was built for publication: The shortest possible length of the longest implicational axiom