On Two Notions of Computation in Transparent Intensional Logic

Result code in 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>
Result on the web
<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>

Result language
angličtina
Original language name
On Two Notions of Computation in Transparent Intensional Logic
Original language description
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.
Czech name
—
Czech description
—

Type
J<sub>imp</sub> - Article in a specialist periodical, which is included in the Web of Science database
CEP classification
—
OECD FORD branch
60301 - Philosophy, History and Philosophy of science and technology

Project
<a href="/en/project/GJ17-18344Y" target="_blank" >GJ17-18344Y: A logico-philosophical analysis of the notion of identity</a><br>
Continuities
I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Publication year
2019
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Similar results(10)