Conceptual/Derivation Systems and Their Representations
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14210%2F10%3A00044887" target="_blank" >RIV/00216224:14210/10:00044887 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
Conceptual/Derivation Systems and Their Representations
Original language description
The notion of derivation system is developed within Tichý's logical framework. We can say that a derivation system is (Materna's) conceptual system with derivation rules. Axiomatic systems (logics, logical calculi), if objectually understood, are specialcases of derivation systems. The notion of derivation system is useful for general considerations concerning conceptual relativity or a comparison of various logics. Representations of derivation systems, suitable for some our purposes, may take a formabstracting from the full specification of derivation systems.
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ů