Filtry
Concepts as hyperintensional objects
AA - Filosofie a náboženství
- 2014 •
- Jx •
- Odkaz
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Výsledek na webu
Type Checking Algorithm for the TIL-Script Language
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2019 •
- D •
- Odkaz
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Transparent Quantification into Hyperintensional objectual attitudes
IN - Informatika
- 2014 •
- Jx •
- Odkaz
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Výsledek na webu
Explikace a dedukce: od jednoduché k rozvětvené teorii typů
V první části této eseje argumentuji ve prospěch toho, že explikační systémy spadající pod jednoduchou teorii typů jsou principiálně limitované pro dosažení cíle, jímž je explikace celého našeho konceptuálního schématu. Takovémuto omezení ne...
AA - Filosofie a náboženství
- 2013 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Russellian typing knowledge and Fitch's paradox of knowability
Philosophy, History and Philosophy of science and technology
- 2017 •
- D
Rok uplatnění
D - Stať ve sborníku
The Revenge of Fitch?s Knowability Paradox for Typing Approach and the Alleged Self-Refutation of Ramified Type Theory
AA - Filosofie a náboženství
- 2013 •
- O
Rok uplatnění
O - Ostatní výsledky
Fitch's Paradox of Knowability, Typing Knowledge and Ramified Theory of Types
AA - Filosofie a náboženství
- 2013 •
- O
Rok uplatnění
O - Ostatní výsledky
A Novel Solution to Grelling's Heterological Paradox
AA - Filosofie a náboženství
- 2009 •
- O
Rok uplatnění
O - Ostatní výsledky
Two-Dimensional Calculus for TIL Constructions (PhDs in Logic VI, 24. 4. 2014, Utrecht)
AA - Filosofie a náboženství
- 2014 •
- O
Rok uplatnění
O - Ostatní výsledky
Structured lexical concepts, property modifiers, and Transparent Intensional Logic
IN - Informatika
- 2014 •
- Jx •
- Odkaz
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Výsledek na webu
- 1 - 10 z 43 264