Executions vs. Constructions

Result code in 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>
Result on the web
—
DOI - Digital Object Identifier
—

Result language
angličtina
Original language name
Executions vs. Constructions
Original language description
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.
Czech name
Exekuce vs. konstrukce
Czech description
V Transparentní intenzionální logice slouží tzv. konstrukce jako hyperintenze-procedury. Na základě inspirace druhy konstrukcí, jimiž jsou jednoduchá a dvojitá exekuce, definuji exekuce v zcela novém smyslu. Ty poté srovnávám s druhy konstrukcí, přičemžtrivializace je reinterpretována jako exekuce nula exekutivních kroků (odlišuji exekuování, konstruování a produkování - jsou to tři různé druhy generování výsledku z určitého vstupu), kompozice, uzávěry i proměnné jsou subsumovány pod exekuce jednoho exekutivního kroku, dvojitá exekuce koresponduje exekuci dvou exekutivních kroků.

Project
<a href="/en/project/GA401%2F99%2F0006" target="_blank" >GA401/99/0006: The Idea of constructions in 'Transparent Intentional Logic"</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

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

Article name in the collection
Logica et Methodologica (Anaphora, Logic and Natural Language)
ISBN
80-223-1871-X
ISSN
—
e-ISSN
—
Number of pages
10
Pages from-to
63-72
Publisher name
Univerzita Komenského
Place of publication
Bratislava
Event location
Bratislava
Event date
Jan 1, 2003
Type of event by nationality
CST - Celostátní akce
UT code for WoS article
—

Similar results(10)