Hyperintensions as Computations
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985955%3A_____%2F25%3A00641309" target="_blank" >RIV/67985955:_____/25:00641309 - isvavai.cz</a>
Výsledek na webu
<a href="https://doi.org/10.1007/s10992-025-09809-3" target="_blank" >https://doi.org/10.1007/s10992-025-09809-3</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1007/s10992-025-09809-3" target="_blank" >10.1007/s10992-025-09809-3</a>
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
Hyperintensions as Computations
Popis výsledku v původním jazyce
In this paper, we show that the hyperintensional typed lambda calculus (HTLC) of Fait and Primiero (Journal of Applied Logics IfCoLog Journal of Logics and their Applications, 8(2), 469-495, 2021) inspired by transparent intensional logic is equivalent to the computational lambda calculus (CLC) of Moggi (Information and Computation, 93(1), 55-92, 1991) extended by a simple axiom. We demonstrate this by first establishing a link between HTLC and propositional lax logic (PLL) which corresponds to CLC via the Curry-Howard isomorphism. Our result puts on solid formal ground a long-held assumption that there is a close connection between the notions of structured hyperintension and computation.
Název v anglickém jazyce
Hyperintensions as Computations
Popis výsledku anglicky
In this paper, we show that the hyperintensional typed lambda calculus (HTLC) of Fait and Primiero (Journal of Applied Logics IfCoLog Journal of Logics and their Applications, 8(2), 469-495, 2021) inspired by transparent intensional logic is equivalent to the computational lambda calculus (CLC) of Moggi (Information and Computation, 93(1), 55-92, 1991) extended by a simple axiom. We demonstrate this by first establishing a link between HTLC and propositional lax logic (PLL) which corresponds to CLC via the Curry-Howard isomorphism. Our result puts on solid formal ground a long-held assumption that there is a close connection between the notions of structured hyperintension and computation.
Klasifikace
Druh
J<sub>imp</sub> - Článek v periodiku v databázi Web of Science
CEP obor
—
OECD FORD obor
60301 - Philosophy, History and Philosophy of science and technology
Návaznosti výsledku
Projekt
<a href="/cs/project/GM21-23610M" target="_blank" >GM21-23610M: Logická struktura informačních kanálů</a><br>
Návaznosti
I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace
Ostatní
Rok uplatnění
2025
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Údaje specifické pro druh výsledku
Název periodika
Journal of Philosophical Logic
ISSN
0022-3611
e-ISSN
1573-0433
Svazek periodika
54
Číslo periodika v rámci svazku
5
Stát vydavatele periodika
NL - Nizozemsko
Počet stran výsledku
24
Strana od-do
995-1018
Kód UT WoS článku
001571267900001
EID výsledku v databázi Scopus
2-s2.0-105016206084