Mancosu, Paolo
An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs
- ISBN 13:
- 9780192895943
- author:
- Mancosu, Paolo
- format:
- Paperback / softback
- publisher:
- Oxford University Press
- language:
- English
- Publication Year:
- 2021
- Pages:
- 432
- Dimensions:
- 2.3 x 15.5 x 23.5 centimeters (0
- Genre:
- Science, Mathematics, Logic,
- Condition:
- New
- Availability:
- Item usually sent within 4 working days
Description
An Introduction to Proof Theory Normalization, Cut-elimination, and Consistency Proofs explores the structure and properties of proofs in various formal deductive systems. This comprehensive work delves into the normalization theorem for natural deduction and the cut-elimination theorem for the sequent calculus.
The book examines the role of the induction rule in formal systems of number theory, including its elimination from proofs of certain elementary forms. It also develops the theory of ordinal notations in purely combinatorial terms, with a focus on consistency proofs for arithmetic.
Written by Paolo Mancosu, Sergio Galvan, and Richard Zach, this book is an essential resource for those interested in mathematical logic and its applications to philosophy.
Related Products
Related Products
An Introduction to Mathematical Proofs (Textbooks in Mathematics)
Loehr, Nicholas A.
Proof
Auburn, David
Proof in Geometry: With Mistakes in Geometric Proofs
Fetisov, A. I.
Mocktails: A Collection of Low-Proof, No-Proof Cocktails
Press, Cider Mill
Baby Proof
Giffin, Emily