Introduction to proof theory

MaRDI QIDQ5435631zbMATH OpenFDO

Authors Gilles Dowek

Publication date 14 January 2008

zbMATH Keywords

candidates of reducibilitycut eliminationdeduction modulo

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Proof theory in general (including proof-theoretic semantics) (03F03) Cut-elimination and normal-form theorems (03F05)

Recommendations

• On the convergence of reduction-based and model-based methods in proof theory
• scientific article; zbMATH DE number 1497485
• Typed Lambda Calculi and Applications
• scientific article; zbMATH DE number 432699
• scientific article; zbMATH DE number 4033739

Cited in

(8)

• A Logical Introduction to Proof
• An Introduction to Proofs with Set Theory
• Introduction: Mathesis Universalis, Proof and Computation
• Pathways of deductions
• scientific article; zbMATH DE number 4033739 (Why is no real title available?)
• scientific article; zbMATH DE number 941039 (Why is no real title available?)
• Proofs 101
• scientific article; zbMATH DE number 6027919 (Why is no real title available?)

This page was built for publication: Introduction to proof theory

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