Annals of Pure and Applied Logic 114 (1-3):43-78 (2002)

Categorical proof theory is an approach to understanding the structure of proofs. We illustrate the idea first by analyzing G0̈del's Dialectica interpretation and the Diller-Nahm variant in categorical terms. Then we consider the problematic question of the structure of classical proofs. We show how double negation translations apply in the case of the Dialectica interpretations. Finally we formulate a proposal as to how to give a more faithful analysis of proofs in the sequent calculus
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1016/s0168-0072(01)00075-6
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: 52,661
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

On the Unity of Logic.Jean-Yves Girard - 1993 - Annals of Pure and Applied Logic 59 (3):201-217.
Full Intuitionistic Linear Logic.Martin Hyland & Valeria de Paiva - 1993 - Annals of Pure and Applied Logic 64 (3):273-291.

Add more references

Citations of this work BETA

Shoenfield is Gödel After Krivine.Thomas Streicher & Ulrich Kohlenbach - 2007 - Mathematical Logic Quarterly 53 (2):176-179.
Category Theory.Jean-Pierre Marquis - 2008 - Stanford Encyclopedia of Philosophy.
Cartesian Closed Dialectica Categories.Bodil Biering - 2008 - Annals of Pure and Applied Logic 156 (2):290-307.

Add more citations

Similar books and articles


Added to PP index

Total views
17 ( #563,441 of 2,340,030 )

Recent downloads (6 months)
1 ( #516,585 of 2,340,030 )

How can I increase my downloads?


My notes