Attributes | Values |
---|
rdf:type
| |
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 special cases 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 form abstracting from the full specification of derivation systems.
- 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 special cases 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 form abstracting from the full specification of derivation systems. (en)
|
Title
| - Conceptual/Derivation Systems and Their Representations
- Conceptual/Derivation Systems and Their Representations (en)
|
skos:prefLabel
| - Conceptual/Derivation Systems and Their Representations
- Conceptual/Derivation Systems and Their Representations (en)
|
skos:notation
| - RIV/00216224:14210/10:00044887!RIV11-MSM-14210___
|
http://linked.open...avai/riv/aktivita
| |
http://linked.open...avai/riv/aktivity
| |
http://linked.open...vai/riv/dodaniDat
| |
http://linked.open...aciTvurceVysledku
| |
http://linked.open.../riv/druhVysledku
| |
http://linked.open...iv/duvernostUdaju
| |
http://linked.open...titaPredkladatele
| |
http://linked.open...dnocenehoVysledku
| |
http://linked.open...ai/riv/idVysledku
| - RIV/00216224:14210/10:00044887
|
http://linked.open...riv/jazykVysledku
| |
http://linked.open.../riv/klicovaSlova
| - derivation systems; conceptual systems; transparent intensional logic (en)
|
http://linked.open.../riv/klicoveSlovo
| |
http://linked.open...ontrolniKodProRIV
| |
http://linked.open...in/vavai/riv/obor
| |
http://linked.open...ichTvurcuVysledku
| |
http://linked.open...cetTvurcuVysledku
| |
http://linked.open...UplatneniVysledku
| |
http://linked.open...iv/tvurceVysledku
| |
http://localhost/t...ganizacniJednotka
| |