Attributes | Values |
---|
rdf:type
| |
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.
- 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. (en)
|
Title
| - Tichý's Transparent Intensional Logic and Conceptual/Derivation Systems
- Tichý's Transparent Intensional Logic and Conceptual/Derivation Systems (en)
|
skos:prefLabel
| - Tichý's Transparent Intensional Logic and Conceptual/Derivation Systems
- Tichý's Transparent Intensional Logic and Conceptual/Derivation Systems (en)
|
skos:notation
| - RIV/00216224:14210/10:00051391!RIV12-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:00051391
|
http://linked.open...riv/jazykVysledku
| |
http://linked.open.../riv/klicovaSlova
| - conceptual systems; deduction; 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
| - Kuchyňka, Petr
- Raclavský, Jiří
|
http://localhost/t...ganizacniJednotka
| |