scientific article; zbMATH DE number 417880

MaRDI QIDQ3134859zbMATH OpenFDO

Authors

Publication date 20 September 1993

zbMATH Keywords

deduction calculiequalityfirst order logichigher order logiclogic programmingmathematical inductionmodal and temporal logicsreasoningterm rewritingtype theoryunification

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Logic in artificial intelligence (68T27)

Cited in

(9)

• Reduction rules for resolution-based systems
• A resolution principle for constrained logics
• Lattice-ordered groups in deduction
• A mechanical proof of the Church-Rosser theorem
• scientific article; zbMATH DE number 42489 (Why is no real title available?)
• scientific article; zbMATH DE number 726582 (Why is no real title available?)
• scientific article; zbMATH DE number 976352 (Why is no real title available?)
• Machine Deduction
• Equality and abductive residua for Horn clauses

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