scientific article; zbMATH DE number 941039

MaRDI QIDQ4714397zbMATH OpenFDO

Authors Lutz Heindorf

Publication date 3 November 1996

zbMATH Keywords

completeness theoremnatural deductioncut eliminationsequent calculuslogic programmingresolution calculuselementary proof theoryelementary arithmetic without induction

Mathematics Subject Classification ID

Proof theory in general (including proof-theoretic semantics) (03F03) Logic programming (68N17) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01)

Recommendations

• scientific article; zbMATH DE number 432699
• scientific article; zbMATH DE number 949290
• Proof theory
• Introduction to proof theory
• Elementary descent recursion and proof theory
• scientific article; zbMATH DE number 1215493
• Proof theory in philosophy of mathematics
• scientific article; zbMATH DE number 1497485
• scientific article; zbMATH DE number 1070628

Cited in

(2)

• scientific article; zbMATH DE number 195157 (Why is no real title available?)
• Elementary descent recursion and proof theory

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