Další formáty:
BibTeX
LaTeX
RIS
@proceedings{888399,
author = {Raclavský, Jiří and Kuchyňka, Petr},
booktitle = {Logic in Cognitive Sciences},
keywords = {conceptual systems; deduction; transparent intensional logic;},
language = {eng},
note = {(konf.)},
title = {Tichý's Transparent Intensional Logic and Conceptual/Derivation Systems},
year = {2010}
}
TY - CONF
ID - 888399
AU - Raclavský, Jiří - Kuchyňka, Petr
PY - 2010
TI - Tichý's Transparent Intensional Logic and Conceptual/Derivation Systems
N1 - (konf.)
KW - conceptual systems
KW - deduction
KW - transparent intensional logic;
N2 - Firstly, Materna's explication of conceptual system within Tichý's logical framework is introduced. Then, we expose a notion of derivation systems. Derivation systems differ from conceptual systems especially in including derivation rules. This enables us to show close connections among the realms of objects, their concepts, and reasoning with concepts.
ER -
RACLAVSKÝ, Jiří a Petr KUCHYŇKA. Tichý's Transparent Intensional Logic and Conceptual/Derivation Systems. In \textit{Logic in Cognitive Sciences}. 2010.
|
