Attributes | Values |
---|
rdf:type
| |
Description
| - Jaśkowski ve svém článku z roku 1934 %22On the Rules of Suppositions in Formal Logic%22 představil koncept tzv. složeného (composite) systému, který stojí na jeho netradičním pojetí výrazů. V příspěvku představím tuto koncepci a načrtnu možnost jejího zkoumání z funkcionálního hlediska.
- Jaśkowski ve svém článku z roku 1934 %22On the Rules of Suppositions in Formal Logic%22 představil koncept tzv. složeného (composite) systému, který stojí na jeho netradičním pojetí výrazů. V příspěvku představím tuto koncepci a načrtnu možnost jejího zkoumání z funkcionálního hlediska. (cs)
- Jaśkowski in his article %22On the Rules of Suppositions in Formal Logic%22 (1934) introduced concept of composite systems, which are based on an unconventional conception of expressions. I will explore this novel conception and sketch possible ways of its examination from a functional point of view. (en)
|
Title
| - Functional Interpretation of Jaśkowski´s Calculus (en)
- Funkcionální interpretace Jaśkowského kalkulu (Logic Café, 15. 3. 2014, Brno)
- Funkcionální interpretace Jaśkowského kalkulu (Logic Café, 15. 3. 2014, Brno) (cs)
|
skos:prefLabel
| - Functional Interpretation of Jaśkowski´s Calculus (en)
- Funkcionální interpretace Jaśkowského kalkulu (Logic Café, 15. 3. 2014, Brno)
- Funkcionální interpretace Jaśkowského kalkulu (Logic Café, 15. 3. 2014, Brno) (cs)
|
skos:notation
| - RIV/00216224:14210/14:00076634!RIV15-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/14:00076634
|
http://linked.open...riv/jazykVysledku
| |
http://linked.open.../riv/klicovaSlova
| - logic; composite system; Jaśkowski (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
| |