Proof Analysis: A Contribution to Hilbert's Last Problem

Cambridge and New York: Cambridge University Press. Edited by Jan Von Plato (2011)
  Copy   BIBTEX

Abstract

This book continues from where the authors' previous book, Structural Proof Theory, ended. It presents an extension of the methods of analysis of proofs in pure logic to elementary axiomatic systems and to what is known as philosophical logic. A self-contained brief introduction to the proof theory of pure logic is included that serves both the mathematically and philosophically oriented reader. The method is built up gradually, with examples drawn from theories of order, lattice theory and elementary geometry. The aim is, in each of the examples, to help the reader grasp the combinatorial behaviour of an axiom system, which typically leads to decidability results. The last part presents, as an application and extension of all that precedes it, a proof-theoretical approach to the Kripke semantics of modal and related logics, with a great number of new results, providing essential reading for mathematical and philosophical logicians.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,616

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Structural Proof Theory.Sara Negri, Jan von Plato & Aarne Ranta - 2001 - New York: Cambridge University Press. Edited by Jan Von Plato.
Proof-theoretical analysis of order relations.Sara Negri, Jan von Plato & Thierry Coquand - 2004 - Archive for Mathematical Logic 43 (3):297-309.
Basic proof theory.A. S. Troelstra - 1996 - New York: Cambridge University Press. Edited by Helmut Schwichtenberg.
Labelled non-classical logics.Luca Viganò - 2000 - Boston: Kluwer Academic Publishers.
On me number of steps in proofs.Jan Krajíèek - 1989 - Annals of Pure and Applied Logic 41 (2):153-178.
On the number of steps in proofs.Jan Kraj\mIček - 1989 - Annals of Pure and Applied Logic 41 (2):153-178.
Proof theory of modal logic.Heinrich Wansing (ed.) - 1996 - Boston: Kluwer Academic Publishers.
Proof Analysis. A Contribution to Hilbert's Last Problem. [REVIEW]F. Poggiolesi - 2013 - History and Philosophy of Logic 34 (1):98-99.
Forcing in proof theory.Jeremy Avigad - 2004 - Bulletin of Symbolic Logic 10 (3):305-333.
Proof analysis in intermediate logics.Roy Dyckhoff & Sara Negri - 2012 - Archive for Mathematical Logic 51 (1-2):71-92.
On the philosophical significance of consistency proofs.Michael D. Resnik - 1974 - Journal of Philosophical Logic 3 (1/2):133 - 147.

Analytics

Added to PP
2011-07-25

Downloads
62 (#234,541)

6 months
8 (#157,827)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Jan Von Plato
University of Helsinki

Citations of this work

Proof analysis in intermediate logics.Roy Dyckhoff & Sara Negri - 2012 - Archive for Mathematical Logic 51 (1-2):71-92.
Proof Theory for Modal Logic.Sara Negri - 2011 - Philosophy Compass 6 (8):523-538.
Free Logics are Cut-Free.Andrzej Indrzejczak - 2021 - Studia Logica 109 (4):859-886.
A More Unified Approach to Free Logics.Edi Pavlović & Norbert Gratzl - 2020 - Journal of Philosophical Logic 50 (1):117-148.

View all 21 citations / Add more citations

References found in this work

No references found.

Add more references