Extracting Information from Logical Proofs

DOI10.1007/978-94-010-2191-3_6MaRDI QIDQ4051642zbMATH OpenOpenAlexFDO

Authors Brian H. Mayoh

Publication date 1974

Published in Logical Theory and Semantic Analysis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-94-010-2191-3_6

zbMATH Keywords

extraction of information from global theorem-provers

Mathematics Subject Classification ID

Computability and recursion theory (03D99) Proof theory and constructive mathematics (03F99)

Recommendations

• INFORMATION IN PROPOSITIONAL PROOFS AND ALGORITHMIC PROOF SEARCH
• Information and evidence in logic systems
• Logic of proofs
• scientific article; zbMATH DE number 1390270
• On extracting computations from propositional proofs (a survey)
• scientific article; zbMATH DE number 1948188
• scientific article; zbMATH DE number 2185656
• Logic of proofs and provability
• Methods of lemma extraction in natural deduction proofs
• Logic and proof-search procedures

Cited in

(2)

• INFORMATION IN PROPOSITIONAL PROOFS AND ALGORITHMIC PROOF SEARCH
• Parsing as non-Horn deduction

This page was built for publication: Extracting Information from Logical Proofs

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