Další formáty:
BibTeX
LaTeX
RIS
@inproceedings{488980,
author = {Raclavský, Jiří},
address = {Bratislava},
booktitle = {Logica et Methodologica (Anaphora, Logic and Natural Language)},
edition = {7},
keywords = {hyperintensions; constructions; executions; transparent intensional logic},
language = {eng},
location = {Bratislava},
isbn = {80-223-1871-X},
pages = {63-72},
publisher = {Univerzita Komenského},
title = {Executions vs. Constructions},
year = {2003}
}
TY - JOUR
ID - 488980
AU - Raclavský, Jiří
PY - 2003
TI - Executions vs. Constructions
PB - Univerzita Komenského
CY - Bratislava
SN - 802231871X
KW - hyperintensions
KW - constructions
KW - executions
KW - transparent intensional logic
N2 - 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 executive step, double execution corresponds to execution of two executive steps. This another view on constructions may help us to understand them better way.
ER -
RACLAVSKÝ, Jiří. Executions vs. Constructions. In \textit{Logica et Methodologica (Anaphora, Logic and Natural Language)}. 7. vyd. Bratislava: Univerzita Komenského, 2003, s.~63-72. ISBN~80-223-1871-X.
|
