Table of Contents

Introduction; 1. From natural deduction to sequent calculus; 2. Sequent calculus for institutionistic logic; 3. Sequent calculus for classical logic; 4. The quantifiers; 5. Variants of sequent calculi; 6. Structural proof analysis of axiomatic theories; 7. Intermediate logical systems; 8. Back to natural deduction; Conclusion: diversity and unity in structural proof theory; Appendix A. Simple type theory and categorical grammar; Appendix B. Proof theory and constructive type theory; Appendix C. A proof editor for sequent calculus.

Promotional Information

A concise introduction to structural proof theory, a branch of logic studying the general structure of logical and mathematical proofs.

Reviews

"...The book makes significant original contributions while remaining accessible to the logician/philosopher/mathematician who wants to learn elementary proof theory..." Aldo Antonelli, University of California, Irvine