Finding missing proofs with automated reasoning

DOI10.1023/A:1012486904520zbMath0997.03011OpenAlexW1585354690MaRDI QIDQ5951893

Branden Fitelson, Larry Wos

Publication date: 13 November 2002

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1012486904520

zbMATH Keywords

condensed detachmentautomated reasoning program OTTERaxiomatic proofslogic calculi

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Software, source code, etc. for problems pertaining to mathematical logic and foundations (03-04)

Related Items (2)

Formalizing axiomatic systems for propositional logic in Isabelle/HOL ⋮ Double-negation elimination in some propositional logics

Uses Software

• OTTER

This page was built for publication: Finding missing proofs with automated reasoning