scientific article; zbMATH DE number 193652

MaRDI QIDQ4040458zbMATH OpenFDO

Authors Zohar Manna, Richard Waldinger

Publication date 5 June 1993

zbMATH Keywords

deductive systemunificationtableaux methodSkolem functionsformal content of proofs in first-order logicgeneral resolution ruleproof by well-founded inductionproof systems of propositional and predicate logictheory of expressions

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01)

Recommendations

• scientific article; zbMATH DE number 814830
• scientific article; zbMATH DE number 914492
• scientific article; zbMATH DE number 3913652
• scientific article; zbMATH DE number 976352
• Proof theory and automated deduction

Cited in

(11)

• An experimental logic based on the fundamental deduction principle
• Constructing specification morphisms
• scientific article; zbMATH DE number 3913652 (Why is no real title available?)
• Automated deduction. A basis for applications. Vol. 2: Systems and implementation techniques
• Logical foundations for programming semantics
• Direct deductive computation on discourse representation structures
• scientific article; zbMATH DE number 69315 (Why is no real title available?)
• scientific article; zbMATH DE number 837700 (Why is no real title available?)
• scientific article; zbMATH DE number 814830 (Why is no real title available?)
• Synthesis and equivalence of concurrent systems
• Computational logic. Volume 1: Classical deductive computing with classical 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 Q4040458)