- An extended propositional logic2015 | Filozofická fakulta
- Antistructural Completeness in Propositional Logics2017 | Filozofická fakulta
- O sekventových kalkulech pro intuicionistickou výrokovou logiku2006 | Filozofická fakulta
- Antistructural completeness in propositional logics2017 | Filozofická fakulta
- Infinitary propositional logics and subdirect representation2017 | Filozofická fakulta
- On the polynomial-space completeness of intuitionistic propositional logic2003 | Filozofická fakulta
- A new hierarchy of infinitary propositional logics2016 | Filozofická fakulta, Ústřední knihovna
- Logika pro všechny ochotné myslet2011 | Filozofická fakulta
- Expander Construction in VNC12017 | Matematicko-fyzikální fakulta
- Expander construction in VNC12020 | Matematicko-fyzikální fakulta
- Beyond Finitarity in Abstract Algebraic Logic III. Hierarchy and Separating Examples2015 | Filozofická fakulta
- On Inter-Expressibility of Logical Connectives in Gödel Fuzzy Logic2000 | Filozofická fakulta
- Subdirect Representation in Abstract Algebraic Logic2017 | Filozofická fakulta
- Rozhodovac� �lohy v�rokov�ch logik roz�i�uj�c�ch intuicionistickou logiku a jej�ch fragment�2010 | Filozofická fakulta
- Důkazová složitost propoziční implicitní logiky2010 | Matematicko-fyzikální fakulta
- Interpolace v modálních logikách2006 | Filozofická fakulta
- Cut elimination, identity elimination, and interpolation in super-Belnap logics2017 | Filozofická fakulta
- Efektivní vlastnost disjunkce a efektivní interpolace v modální logicePublikace bez příslušnosti k fakultě
- Syntactic Approach to Fuzzy Modal Logic in MTL2009 | Filozofická fakulta
- A New Hierarchy of Infinitary Logics in Abstract Algebraic Logic2017 | Filozofická fakulta
- On Interpolants and Variable Assignments2014 | Matematicko-fyzikální fakulta
- Extension Properties and Subdirect Representation in Abstract Algebraic Logic2018 | Filozofická fakulta
- Using linear algebra in decomposition of Farkas interpolants2022 | Matematicko-fyzikální fakulta
- Automated resolution of connector architectures using constraint solving (ARCAS method)2014 | Matematicko-fyzikální fakulta