Cambridge University Press (2001)

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 this book $41.07 used (21% off)   $44.84 new (14% off)   $51.99 from Amazon    Amazon page
ISBN(s) 9780511826139   9780521793070   0521793076   0521068428
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 71,199
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

Logical Consequence.J. C. Beall, Greg Restall & Gil Sagi - 2019 - Stanford Encyclopedia of Philosophy.
Truth-Seeking by Abduction.Ilkka Niiniluoto - 2018 - Cham, Switzerland: Springer.
Conditional Heresies.Fabrizio Cariani & Simon Goldstein - 2018 - Philosophy and Phenomenological Research (2):251-282.

View all 94 citations / Add more citations

Similar books and articles

Proof Analysis: A Contribution to Hilbert's Last Problem.Sara Negri & Jan von Plato - 2011 - Cambridge and New York: Cambridge University Press.
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 - 2011 - Cambridge University Press.
Proof Theory of Modal Logic.Heinrich Wansing (ed.) - 1996 - Dordrecht, Netherland: 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.
Goal-Directed Proof Theory.Dov M. Gabbay - 2000 - Dordrecht, Netherland: Kluwer Academic.


Added to PP index

Total views
76 ( #153,537 of 2,517,910 )

Recent downloads (6 months)
8 ( #88,531 of 2,517,910 )

How can I increase my downloads?


My notes