scientific article; zbMATH DE number 1301858

MaRDI QIDQ4247082zbMATH OpenFDO

Authors Anna Mikhajlova, Joakim von Wright

Publication date 13 December 1999

zbMATH Keywords

equivalence of provabilityfirst-order logichigher-order logicHilbertian axiomatizationnatural deductionproof systemssequent calculustheorem proving system HOL

Mathematics Subject Classification ID

Classical first-order logic (03B10) Mechanization of proofs and logical operations (03B35)

Recommendations

• Theorem Proving in Higher Order Logics
• The foundation of a generic theorem prover
• Formalization of the Resolution Calculus for First-Order Logic
• A formalization and proof checker for Isabelle's metalogic
• Formalization of the resolution calculus for first-order logic

Cited in

(3)

• Formalizing axiomatic systems for propositional logic in Isabelle/HOL
• HOL Based First-Order Modal Logic Provers
• Formalized proof systems for propositional logic

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4247082)