Output details
11 - Computer Science and Informatics
Queen Mary University of London
Article title
An analysis of Godel's 'Dialectica' interpretation via linear logic
Type
D - Journal article
Title of journal
Dialectica: the official journal of the European Society for Analytic Philosophy
Article number
-
Volume number
62
Issue number
2
First page of article
269
ISSN of journal
0012-2017
Year of publication
2008
Number of additional authors
0
Additional information
<11>This is my contribution to a special journal issue marking the 50th anniversary of Kurt Gödel's seminal paper on the relative consistency proof of classical arithmetic, published in the journal dialectica. Gödel's novel technique was a so-called 'functional' interpretation of the logical connectives, which came to be called the dialectica interpretation. My contribution is twofolded: it generalises Gödel's dialectica interpretation to the setting of linear logic, and also casts the interpretation in terms of an intuitive simultaneous two-player game. Professors Feferman, Kohlenbach, Diller and Ferreira author the other four articles in the special issue.
Interdisciplinary
-
Cross-referral requested
-
Research group
None
Citation count
7
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-
