Autor:	Paulo Oliva, Mircea-Dan Hernest
Rok vydání:	2008
Předmět:	Discrete mathematics Algebra Interpretation (logic) Realizability Dialectica interpretation Gödel computer Linear logic Mathematics computer.programming_language Hybrid functional
Zdroj:	Logic and Theory of Algorithms ISBN: 9783540694052 CiE
DOI:	10.1007/978-3-540-69407-6_29
Popis:	We show how different functional interpretations can be combined via a multi-modal linear logic. A concrete hybrid of Kreisel's modified realizability and Godel's Dialectica is presented, and several small applications are given. We also discuss how the hybrid interpretation relates to variants of Dialectica and modified realizability with non-computational quantifiers.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::b4145cb25ac64c267b47ad6771dcfd02 https://doi.org/10.1007/978-3-540-69407-6_29 Zobrazit plný text záznamu