2026-07-21T14:14:05Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:291 2024-03-06T11:06:09Z ddc:004 open_access

Unifying Functional Interpretations Oliva, Paulo Functional interpretation modified realizability Dialectica interpretation intuitionistic logic The purpose of this article is to present a parametrised functional interpretation. Depending on the choice of the two parameters one obtains well-known functional interpretations, among others GÃƒÂ¶del's Dialectica interpretation, Diller-Nahm's variant of the Dialectica interpretation, Kreisel's modified realizability, Kohlenbach's monotone interpretations and Stein's family of functional interpretations. We show that all these interpretations only differ on two basic choices, which are captured by the parameters, namely the choices of (1) "how much" of the counter-examples for A becomes witnesses for the negation of A, and of (2) "how much" information about the witnesses of A one is interested in. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Paulo Oliva 2006 Is Part Of Dagstuhl Seminar Proceedings, Volume 5021, Mathematics, Algorithms, Proofs (2006) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/DagSemProc.05021.23 urn:nbn:de:0030-drops-2919 https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.05021.23 eng https://creativecommons.org/licenses/by/4.0/legalcode