A Mechanical Proof Procedure and its Realization in an Electronic Computer

DOI10.1145/321021.321023MaRDI QIDQ5614670zbMATH OpenOpenAlexFDO

Authors Dag Prawitz, H. Prawitz, N. Voghera

Publication date 1960

Published in Journal of the ACM (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/321021.321023

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Cited in

(6)

• lean\(T^ AP\): Lean tableau-based deduction
• Theorem proving with variable-constrained resolution
• From Schütte’s Formal Systems to Modern Automated Deduction
• Prawitz, Proofs, and Meaning
• Martin Davis: an overview of his work in logic, computer science, and philosophy
• Proof search algorithm in pure logical framework

This page was built for publication: A Mechanical Proof Procedure and its Realization in an Electronic Computer

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