Structural Proof Theory

Cambridge University Press (2001)
Abstract
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. The book contains a wealth of results on proof-theoretical systems, including extensions of such systems from logic to mathematics, and on the connection between the two main forms of structural proof theory - natural deduction and sequent calculus. The authors emphasize the computational content of logical results. A special feature of the volume is a computerized system for developing proofs interactively, downloadable from the web and regularly updated.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
Reprint years 2008, 2010, 2011
Buy the book $44.06 used (58% off)   $44.17 new (58% off)   $95.21 direct from Amazon (8% off)    Amazon page
ISBN(s) 9780511826139   9780521793070
Options
 Save to my reading list
Follow the author(s)
Edit this record
My bibliography
Export citation
Find it on Scholar
Mark as duplicate
Request removal from index
Revision history
Download options
Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 32,634
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library
References found in this work BETA

No references found.

Add more references

Citations of this work BETA
General-Elimination Harmony and the Meaning of the Logical Constants.Stephen Read - 2010 - Journal of Philosophical Logic 39 (5):557-576.
Proof Analysis in Modal Logic.Sara Negri - 2005 - Journal of Philosophical Logic 34 (5-6):507-544.

View all 30 citations / Add more citations

Similar books and articles
Text Structure and Proof Structure.C. F. M. Vermeulen - 2000 - Journal of Logic, Language and Information 9 (3):273-311.
Rule-Irredundancy and the Sequent Calculus for Core Logic.Neil Tennant - 2016 - Notre Dame Journal of Formal Logic 57 (1):105-125.
Generalizing Proofs in Monadic Languages.Matthias Baaz & Piotr Wojtylak - 2008 - Annals of Pure and Applied Logic 154 (2):71-138.
Basic Proof Theory.A. S. Troelstra - 2000 - Cambridge University Press.
Proofs and Computations.Helmut Schwichtenberg - 2012 - Cambridge University Press.
Proof Theory of Modal Logic.H. Wansing (ed.) - 1996 - Kluwer Academic Publishers.
Glivenko Sequent Classes in the Light of Structural Proof Theory.Sara Negri - 2016 - Archive for Mathematical Logic 55 (3-4):461-473.
Linear Logic in Computer Science.Thomas Ehrhard (ed.) - 2004 - Cambridge University Press.
Added to PP index
2011-03-20

Total downloads
44 ( #135,665 of 2,236,187 )

Recent downloads (6 months)
29 ( #15,467 of 2,236,187 )

How can I increase my downloads?

Monthly downloads
My notes
Sign in to use this feature