Tichý's Transparent Intensional Logic and Conceptual/Derivation Systems
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14210%2F10%3A00051391" target="_blank" >RIV/00216224:14210/10:00051391 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
Tichý's Transparent Intensional Logic and Conceptual/Derivation Systems
Original language description
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.
Czech name
—
Czech description
—
Classification
Type
O - Miscellaneous
CEP classification
AA - Philosophy and religion
OECD FORD branch
—
Result continuities
Project
—
Continuities
S - Specificky vyzkum na vysokych skolach
Others
Publication year
2010
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů