An introduction to proof theory : normalization, cut-elimination, and consistency proofs / Paolo Mancosu, Sergio Galvan, Richard Zach.

Format:

Book

Author/Creator:

Mancosu, Paolo, author.

Zach, Richard, author.

Galvan, Sergio, 1946- author.

Series:

Oxford scholarship online.

Oxford scholarship online

Language:

English

Subjects (All):

Proof theory.

Logic, Symbolic and mathematical.

Physical Description:

1 online resource (x, 418 pages) : illustrations.

Edition:

First edition.

Other Title:

Normalization, cut-elimination, and consistency proofs

Place of Publication:

Oxford ; New York : Oxford University Press, [2021]

Summary:

'An Introduction to Proof Theory' provides an accessible introduction to the theory of proofs, with details of proofs worked out and examples and exercises to aid the reader's understanding.

Contents:

1 Introduction

2 Axiomatic calculi

3 Natural deduction

4 Normal deductions

5 The sequent calculus

6 The cut-elimination theorem

7 The consistency of arithmetic

8 Ordinal notations and induction

9 The consistency of arithmetic, continued

Show Subsections A The Greek alphabet

B Set-theoretic notation

C Axioms, rules, and theorems of axiomatic calculi

D Exercises on axiomatic derivations

E Natural deduction

F Sequent calculus

G Outline of the cut-elimination theorem

Bibliography

Index.

Notes:

This edition also issued in print: 2021.

Includes bibliographical references and index.

Description based on print version record.

ISBN:

0-19-193879-3

0-19-264929-9

OCLC:

1263028565