Filtry
On transitive modal many-valued logics
Pure mathematics
- 2021 •
- Jimp •
- Odkaz
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
Implicational (Semilinear) Logics II: Additional Connectives and Characterizations of Semilinearity
BA - Obecná matematika
- 2016 •
- Jx •
- Odkaz
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Výsledek na webu
Back-and-forth systems for fuzzy first-order models
Pure mathematics
- 2018 •
- Jimp •
- Odkaz
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
Prague Workshop on Non-Classical Epistemic Logics
AA - Filosofie a náboženství
- 2013 •
- W
Rok uplatnění
W - Uspořádání workshopu
Nonclassical Logics and Judgement Aggregation
Philosophy, History and Philosophy of science and technology
- 2019 •
- W
Rok uplatnění
W - Uspořádání workshopu
Implicational (semilinear) logics III: completeness properties
Pure mathematics
- 2018 •
- Jimp •
- Odkaz
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
Löwenheim-Skolem theorems for non-classical first-order algebraizable logics
BA - Obecná matematika
- 2016 •
- Jx •
- Odkaz
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Výsledek na webu
A General Framework for Mathematical Fuzzy Logic. Chapter 2
BA - Obecná matematika
- 2011 •
- C
Rok uplatnění
C - Kapitola v odborné knize
Special issues of Logic Journal of the IGPL ”Non-Classical Modal and Predicate Logics”
Pure mathematics
- 2019 •
- O
Rok uplatnění
O - Ostatní výsledky
Skolemization and Herbrand theorems for lattice-valued logics
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2019 •
- Jimp •
- Odkaz
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
- 1 - 10 z 16 781