On Two Notions of Computation in Transparent Intensional Logic

Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985955%3A_____%2F19%3A00504567" target="_blank" >RIV/67985955:_____/19:00504567 - isvavai.cz</a>
Výsledek na webu
<a href="https://link.springer.com/article/10.1007%2Fs10516-018-9401-7" target="_blank" >https://link.springer.com/article/10.1007%2Fs10516-018-9401-7</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1007/s10516-018-9401-7" target="_blank" >10.1007/s10516-018-9401-7</a>

Jazyk výsledku
angličtina
Název v původním jazyce
On Two Notions of Computation in Transparent Intensional Logic
Popis výsledku v původním jazyce
In Transparent Intensional Logic we can recognize two distinct notions of computation that loosely correspond to term rewriting and term interpretation as known from lambda calculus. Our goal will be to further explore these two notions and examine some of their properties.
Název v anglickém jazyce
On Two Notions of Computation in Transparent Intensional Logic
Popis výsledku anglicky
In Transparent Intensional Logic we can recognize two distinct notions of computation that loosely correspond to term rewriting and term interpretation as known from lambda calculus. Our goal will be to further explore these two notions and examine some of their properties.

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

Projekt
<a href="/cs/project/GJ17-18344Y" target="_blank" >GJ17-18344Y: Logicko-filozofická analýza pojmu identity</a><br>
Návaznosti
I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Rok uplatnění
2019
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ů

Podobné výsledky(10)