scientific article; zbMATH DE number 3922016

MaRDI QIDQ3696551zbMATH OpenFDO

Authors Hubert Hofbauer, Thomas A. Henzinger

Publication date 1985

zbMATH Keywords

AND/OR-treesman-machine theorem proving system

Mathematics Subject Classification ID

Recommendations

• TPS: A hybrid automatic-interactive system for developing proofs
• scientific article; zbMATH DE number 1765709
• scientific article; zbMATH DE number 2176109
• scientific article; zbMATH DE number 3906548
• Automated natural deduction in THINKER

Cited in

(30)

• The automation of syllogistic. I: Syllogistic normal forms
• Combining formal derivation search procedures and natural theorem proving techniques in an automated theorem proving system
• Automated natural deduction in THINKER
• Strategic construction of Fitch-style proofs
• The Isabelle/Naproche natural language proof assistant
• Model generation for natural language interpretation and analysis.
• scientific article; zbMATH DE number 1614717 (Why is no real title available?)
• Visual theorem proving with the Incredible Proof Machine
• Assertion-level proof representation with under-specification
• Deduction and presentation in Log
• Validation of proofs using PhoX
• Press-ready deduction trees in classical logic using point-plus-expressions
• Providing a proof-theoretical basis for explanation: A case study on UML and ALCQI reasoning
• scientific article; zbMATH DE number 996392 (Why is no real title available?)
• scientific article; zbMATH DE number 3870638 (Why is no real title available?)
• scientific article; zbMATH DE number 3871341 (Why is no real title available?)
• Natural Deduction Environment for Matita
• scientific article; zbMATH DE number 3906548 (Why is no real title available?)
• scientific article; zbMATH DE number 4074537 (Why is no real title available?)
• scientific article; zbMATH DE number 569781 (Why is no real title available?)
• scientific article; zbMATH DE number 1140678 (Why is no real title available?)
• scientific article; zbMATH DE number 2065273 (Why is no real title available?)
• scientific article; zbMATH DE number 1479613 (Why is no real title available?)
• scientific article; zbMATH DE number 1497860 (Why is no real title available?)
• scientific article; zbMATH DE number 1765686 (Why is no real title available?)
• scientific article; zbMATH DE number 1765709 (Why is no real title available?)
• Reconstructing proofs at the assertion level
• \textit{Symlog}. Automated advice in Fitch-style proof construction
• Pandora: A Reasoning Toolbox using Natural Deduction Style
• TPS: A hybrid automatic-interactive system for developing proofs

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 Q3696551)