Zobrazeno 1 - 4
of 4
pro vyhledávání: '"proof interpretation"'
Autor:
Mircea-Dan Hernest, Ulrich Kohlenbach
Publikováno v:
Hernest, M-D & Kohlenbach, U 2005, ' A complexity analysis of functional interpretations ', Theoretical Computer Science, vol. 338, no. 1-3, pp. 200-246 .
BRICS Report Series; No 12 (2003): RS-12 A Complexity Analysis of Functional Interpretations.
BRICS Report Series; Nr. 12 (2003): RS-12 A Complexity Analysis of Functional Interpretations.
Hernest, M-D & Kohlenbach, U 2003, ' A Complexity Analysis of Functional Interpretations ' B R I C S Report Series, no. RS-03-12 .
BRICS Report Series; No 12 (2003): RS-12 A Complexity Analysis of Functional Interpretations.
BRICS Report Series; Nr. 12 (2003): RS-12 A Complexity Analysis of Functional Interpretations.
Hernest, M-D & Kohlenbach, U 2003, ' A Complexity Analysis of Functional Interpretations ' B R I C S Report Series, no. RS-03-12 .
Summary: We give a quantitative analysis of Gödel's functional interpretation and its monotone variant. The two have been used for the extraction of programs and numerical bounds as well as for conservation results. They apply both to (semi-)intuiti
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0e468d834abc9ae505b64b8a5c6a459b
https://doi.org/10.1016/j.tcs.2004.12.019
https://doi.org/10.1016/j.tcs.2004.12.019
Autor:
Brage, Jens
In this thesis we use the syntactic-semantic method of constructive type theory to give meaning to classical logic, in particular Gentzen's LK. We interpret a derivation of a classical sequent as a derivation of a contradiction from the assumptions t
Externí odkaz:
http://urn.kb.se/resolve?urn=urn:nbn:se:su:diva-913
Kniha
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Kniha
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.