Filtry
Extensional logic of hyperintensions
IN - Informatika
- 2012 •
- C •
- Odkaz
Rok uplatnění
C - Kapitola v odborné knize
Výsledek na webu
Extensional logic of hyperintensions
IN - Informatika
- 2012 •
- Jx •
- Odkaz
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
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
Deduction in TIL: From simple to ramified hierarchy of types
BA - Obecná matematika
- 2013 •
- Jx •
- Odkaz
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Výsledek na webu
Transparent quantification into hyperintensional contexts
AA - Filosofie a náboženství
- 2011 •
- D
Rok uplatnění
D - Stať ve sborníku
Towards an Extensional Calculus of Hyperintensions
IN - Informatika
- 2012 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Extensional principles in three types of context
IN - Informatika
- 2014 •
- D
Rok uplatnění
D - Stať ve sborníku
Hyperintensional, intensional and extensional context recognition
IN - Informatika
- 2013 •
- D
Rok uplatnění
D - Stať ve sborníku
Fuzzy logika s extensionálnimi fuzzy kvantifikátory: syntaxe a sémantika
Cílem prezentace je definovat (omezené a neomezené) extenzionální fuzzy kvantifikátory a pak zavést syntaxi a sémantiku fuzzy logiky prvního řádu s extenzionálními fuzzy kvantifikátory....
BA - Obecná matematika
- 2006 •
- A
Rok uplatnění
A - Audiovizuální tvorba
Hyperintensions and procedural isomorphism: Alternative (1/2;)
AA - Filosofie a náboženství
- 2010 •
- D
Rok uplatnění
D - Stať ve sborníku
- 1 - 10 z 154 849