Conceptual/Derivation Systems and Their Representations

Kód výsledku v 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>
Výsledek na webu
—
DOI - Digital Object Identifier
—

Jazyk výsledku
angličtina
Název v původním jazyce
Conceptual/Derivation Systems and Their Representations
Popis výsledku v původním jazyce
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.
Název v anglickém jazyce
Conceptual/Derivation Systems and Their Representations
Popis výsledku anglicky
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.

Rok uplatnění
2010
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Podobné výsledky(10)