Structural Proof Theory

Front Cover
Cambridge University Press, Jul 10, 2008 - Mathematics - 276 pages
1 Review
Structural proof theory is a branch of logic that studies the general structure and properties of logical and mathematical proofs. This book is both a concise introduction to the central results and methods of structural proof theory, and a work of research that will be of interest to specialists. The book is designed to be used by students of philosophy, mathematics, and computer science. A special feature of the volume is a computerized system for developing proofs interactively, downloadable from the web and regularly updated.
 

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

1 FROM NATURAL DEDUCTION TO SEQUENT CALCULUS
1
2 SEQUENT CALCULUS FOR INTUITIONISTIC LOGIC
25
3 SEQUENT CALCULUS FOR CLASSICAL LOGIC
47
4 THE QUANTIFIERS
61
5 VARIANTS OF SEQUENT CALCULI
87
6 STRUCTURAL PROOF ANALYSIS OF AXIOMATIC THEORIES
126
7 INTERMEDIATE LOGICAL SYSTEMS
156
8 BACK TO NATURAL DEDUCTION
165
SIMPLE TYPE THEORY AND CATEGORIAL GRAMMAR
219
PROOF THEORY AND CONSTRUCTIVE TYPE THEORY
225
PESCA A PROOF EDITOR FOR SEQUENT CALCULUS
235
BIBLIOGRAPHY
245
AUTHOR INDEX
251
SUBJECT INDEX
253
INDEX OF LOGICAL SYSTEMS
257
Copyright

DIVERSITY AND UNITY IN STRUCTURAL PROOF THEORY
211

Other editions - View all

Common terms and phrases

Bibliographic information