- Filosofické základy intuicionistické logiky (překlad)2006 | Filozofická fakulta
- The Intuitionistic Robinson Arithmetic(s)2015 | Filozofická fakulta
- O sekventových kalkulech pro intuicionistickou výrokovou logiku2006 | Filozofická fakulta
- A nonstandard semantic framework for intuitionistic logic2016 | Filozofická fakulta
- Completeness of predicate Gentzen calculus with respect to intuitionistic Kripke semantics2013 | Filozofická fakulta
- Pairwise Comparison Matrix With Intuitionistic Fuzzy Elements on Alo-Group2015 | Matematicko-fyzikální fakulta
- Is the Emotional Dog Blind to Its Choices? An Attempt to Reconcile the Social Intuitionist Model and the Choice Blindness Effect2016 | Filozofická fakulta
- Some Properties of Kripke Semantics for Intuitionistic Logic2003 | Filozofická fakulta
- On the polynomial-space completeness of intuitionistic propositional logic2003 | Filozofická fakulta
- Intuitionistic fuzzy linear programming and duality: a level sets approach2016 | Matematicko-fyzikální fakulta
- A Duality for Distributive Unimodal Logic2014 | Filozofická fakulta
- A duality for distributive unimodal logic2014 | Filozofická fakulta
- Consistency, Completeness, and Classicality2015 | Filozofická fakulta
- Rozhodovac� �lohy v�rokov�ch logik roz�i�uj�c�ch intuicionistickou logiku a jej�ch fragment�2010 | Filozofická fakulta
- Co je to logika inference?2008 | Filozofická fakulta
- Some Modifications of Carnap's Modal Logic2012 | Filozofická fakulta
- De Morgan logics with a notion of inconsistency2014 | Filozofická fakulta
- Protonegationality and inconsistency lemmas Part I2017 | Filozofická fakulta
- Themistius on Concept Formation2021 | Filozofická fakulta
- Not all Kripke models of HA are locally PA2022 | Matematicko-fyzikální fakulta
- Formy jazyka : Úvod do logiky a její filosofie2015 | Filozofická fakulta
