scientific article; zbMATH DE number 417880

MaRDI QIDQ3134859zbMATH OpenFDO

Authors

Publication date 20 September 1993

zbMATH Keywords

type theoryequalityterm rewritingreasoningunificationlogic programmingfirst order logicmathematical inductionhigher order logicdeduction calculimodal and temporal logics

Mathematics Subject Classification ID

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

Cited in

(8)

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

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)