A shortest single axiom for the classical equivalential calculus
From MaRDI portal
Publication:1242883
DOI10.1305/NDJFL/1093888216zbMath0368.02009OpenAlexW2084463114WikidataQ114598254 ScholiaQ114598254MaRDI QIDQ1242883
Publication date: 1978
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1305/ndjfl/1093888216
Classical propositional logic (03B05) Software, source code, etc. for problems pertaining to mathematical logic and foundations (03-04)
Related Items (8)
Towards finding longer proofs ⋮ The application of automated reasoning to questions in mathematics and logic ⋮ Searching for circles of pure proofs ⋮ Meeting the challenge of fifty years of logic ⋮ A method for finding new sets of axioms for classes of semigroups. ⋮ A new use of an automated reasoning assistant: Open questions in equivalential calculus an the study of infinite domains ⋮ Condensed detachment as a rule of inference ⋮ The two-property and condensed detachment
This page was built for publication: A shortest single axiom for the classical equivalential calculus
