An Introduction to Proof Theory

DOI10.1093/OSO/9780192895936.001.0001MaRDI QIDQ5010232zbMATH OpenOpenAlexWikidataFDO

Authors Paolo Mancosu, Sergio Galvan, Richard Zach

Publication date 24 August 2021

Full work available at URL https://doi.org/10.1093/oso/9780192895936.001.0001

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01)

Recommendations

• scientific article; zbMATH DE number 1215493
• Ordinal Analysis with an Introduction to Proof Theory
• Structural proof theory. With an appendix by Aarne Ranta
• Where is the Gödel-point hiding: Gentzen’s Consistency Proof of 1936 and His Representation of Constructive Ordinals

Cited in

(7)

• Ordinal Analysis with an Introduction to Proof Theory
• Exploring Jaśkowski's discussive logic. Proof analysis and related remarks
• Constructive validity of a generalized Kreisel-Putnam rule
• Normalisation for negative free logics without and with definite descriptions
• A simplified lower bound for implicational logic
• From explosion to implosion: a new justification for the ex falso quodlibet rule
• Mind the gap: a conciliating short proof of strong normalization for minimal propositional logic

This page was built for publication: An Introduction to Proof Theory

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