Output details
11 - Computer Science and Informatics
Queen Mary University of London
An analysis of Godel's 'Dialectica' interpretation via linear logic
<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.