Logic and logic programming. Vol. 1: Foundations

MaRDI QIDQ5851185zbMATH OpenFDO

Authors Steffen Hölldobler

Publication date 21 January 2010

zbMATH Keywords

completenessfirst-order predicate logicformal axiomatic theoryformal inference systemGentzen calculusHilbert systemlogic programmingnatural deductionprogramming language Prologpropositional logicresolution calculussemantic tableauxsequent calculussoundness

Mathematics Subject Classification ID

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

Cited in

(10)

• scientific article; zbMATH DE number 4045228 (Why is no real title available?)
• scientific article; zbMATH DE number 4076677 (Why is no real title available?)
• scientific article; zbMATH DE number 42415 (Why is no real title available?)
• scientific article; zbMATH DE number 45458 (Why is no real title available?)
• scientific article; zbMATH DE number 49423 (Why is no real title available?)
• scientific article; zbMATH DE number 47956 (Why is no real title available?)
• scientific article; zbMATH DE number 52720 (Why is no real title available?)
• Logic Programming, Argumentation and Human Reasoning
• Mathematical logic
• Logica

This page was built for publication: Logic and logic programming. Vol. 1: Foundations

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