Exekuce vs. konstrukce
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14210%2F03%3A00011336" target="_blank" >RIV/00216224:14210/03:00011336 - isvavai.cz</a>
Výsledek na webu
—
DOI - Digital Object Identifier
—
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
Executions vs. Constructions
Popis výsledku v původním jazyce
In transparent intensional logic s.c. constructions serves as hyperintensions. Being inspired by notions of single and double execution, executions in a new sense are defined. Then they are compared with constructions - trivialization is thus reinterpreted as an execution of zero executive steps (executing, constructing and producing are three distinguished kinds of generating of an output from certain input), composition, closure and variable are subsumed under the notion of execution of one executivestep, double execution corresponds to execution of two executive steps. This another view on constructions may help us to understand them better way.
Název v anglickém jazyce
Executions vs. Constructions
Popis výsledku anglicky
In transparent intensional logic s.c. constructions serves as hyperintensions. Being inspired by notions of single and double execution, executions in a new sense are defined. Then they are compared with constructions - trivialization is thus reinterpreted as an execution of zero executive steps (executing, constructing and producing are three distinguished kinds of generating of an output from certain input), composition, closure and variable are subsumed under the notion of execution of one executivestep, double execution corresponds to execution of two executive steps. This another view on constructions may help us to understand them better way.
Klasifikace
Druh
D - Stať ve sborníku
CEP obor
AA - Filosofie a náboženství
OECD FORD obor
—
Návaznosti výsledku
Projekt
<a href="/cs/project/GA401%2F99%2F0006" target="_blank" >GA401/99/0006: Role konstrukcí v ´transparentní intensionální logice ´</a><br>
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Ostatní
Rok uplatnění
2003
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 statě ve sborníku
Logica et Methodologica (Anaphora, Logic and Natural Language)
ISBN
80-223-1871-X
ISSN
—
e-ISSN
—
Počet stran výsledku
10
Strana od-do
63-72
Název nakladatele
Univerzita Komenského
Místo vydání
Bratislava
Místo konání akce
Bratislava
Datum konání akce
1. 1. 2003
Typ akce podle státní příslušnosti
CST - Celostátní akce
Kód UT WoS článku
—