Filtry
International Workshop on Algebraic Logic in Computer Science
BA - Obecná matematika
- 2013 •
- W •
- Odkaz
Rok uplatnění
W - Uspořádání workshopu
Výsledek na webu
Many-Valued Logics. Workshop at UNILOG 2013
BA - Obecná matematika
- 2013 •
- W •
- Odkaz
Rok uplatnění
W - Uspořádání workshopu
Výsledek na webu
A Study of Truth Predicates in Matrix Semantics
Pure mathematics
- 2018 •
- Jimp •
- Odkaz
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
On the complexity of the Leibniz hierarchy
Pure mathematics
- 2019 •
- Jimp •
- Odkaz
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
Logic, Algebra and Truth Degrees 2010
BA - Obecná matematika
- 2010 •
- O
Rok uplatnění
O - Ostatní výsledky
Logic, Algebra and Truth Degrees 2010
BA - Obecná matematika
- 2010 •
- W
Rok uplatnění
W - Uspořádání workshopu
Strongly complete logics for coalgebras
BA - Obecná matematika
- 2012 •
- Jx •
- Odkaz
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Výsledek na webu
Inquisitive Heyting Algebras
Philosophy, History and Philosophy of science and technology
- 2021 •
- Jimp •
- Odkaz
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
Constructing Natural Extensions of Propositional 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
Logic and Implication: An introduction to the General Algebraic Study of Non-classical Logics
Applied mathematics
- 2021 •
- B •
- Odkaz
Rok uplatnění
B - Odborná kniha
Výsledek na webu
- 1 - 10 z 4 634