Shortest single axioms for the classical equivalential calculus

From MaRDI portal

Revision as of 07:03, 31 January 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:1219798

Jump to:navigation, search

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 (4)

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

This page was built for publication: Shortest single axioms for the classical equivalential calculus

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:1219798&oldid=13293987"