Cambridge University Press (2001)

Authors
Sara Negri
University of Helsinki
Jan Von Plato
University of Helsinki
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
ISBN(s) 9780511826139   9780521793070
Options
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: 51,508
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

Conditional Heresies.Fabrizio Cariani & Simon Goldstein - 2018 - Philosophy and Phenomenological Research.
Proof Analysis in Modal Logic.Sara Negri - 2005 - Journal of Philosophical Logic 34 (5-6):507-544.
General-Elimination Harmony and the Meaning of the Logical Constants.Stephen Read - 2010 - Journal of Philosophical Logic 39 (5):557-576.

View all 44 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.

Analytics

Added to PP index
2011-03-20

Total views
62 ( #149,472 of 2,330,885 )

Recent downloads (6 months)
1 ( #587,623 of 2,330,885 )

How can I increase my downloads?

Downloads

My notes