Structural Proof Theory

Cambridge University Press (2001)
Sara Negri
University of Helsinki
Jan Von Plato
University of Helsinki
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
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 34,484
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.
Argumentation Mining.Raquel Mochales & Marie-Francine Moens - 2011 - Artificial Intelligence and Law 19 (1):1-22.

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

Total downloads
44 ( #140,022 of 2,267,124 )

Recent downloads (6 months)
6 ( #66,797 of 2,267,124 )

How can I increase my downloads?

Monthly downloads

My notes

Sign in to use this feature