Proof theory and automated deduction

zbMath0896.03014MaRDI QIDQ1379289

Jean Goubault-Larrecq, Ian Mackie

Publication date: 25 February 1998

Published in: Applied Logic Series (Search for Journal in Brave)

zbMATH Keywords

algorithmsproof theoryresolutionlogic programmingmathematical logicautomated deductionlogical systemslogic methodologies

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Mechanization of proofs and logical operations (03B35) Cut-elimination and normal-form theorems (03F05) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Logic programming (68N17) Proof theory in general (including proof-theoretic semantics) (03F03)

Related Items (6)

Decidability of bounded higher-order unification ⋮ A proof-theoretic foundation of abortive continuations ⋮ Checking Z Data Refinements Using Traces Refinement ⋮ Reductions for non-clausal theorem proving ⋮ Detecting Unknots via Equational Reasoning, I: Exploration ⋮ A new logic for electronic commerce protocols

This page was built for publication: Proof theory and automated deduction