Shortest single axioms for the classical equivalential calculus

DOI10.1305/ndjfl/1093887534zbMath0313.02006OpenAlexW2041659040WikidataQ114598267 ScholiaQ114598267MaRDI QIDQ1219798

Jeremy George Peterson

Publication date: 1976

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1093887534

Mathematics Subject Classification ID

Classical propositional logic (03B05)

Related Items

Towards finding longer proofs, Using the prover ANDP to simplify orthogonality., Simplifying von Plato's axiomatization of constructive apartness geometry, A new use of an automated reasoning assistant: Open questions in equivalential calculus an the study of infinite domains