- A New Hierarchy of Infinitary Logics in Abstract Algebraic Logic2017 | Filozofická fakulta
- Beyond Finitarity in Abstract Algebraic Logic III. Hierarchy and Separating Examples2015 | Filozofická fakulta
- Extension Properties and Subdirect Representation in Abstract Algebraic Logic2018 | Filozofická fakulta
- Subdirect Representation in Abstract Algebraic Logic2017 | Filozofická fakulta
- An algebraic view of super-Belnap logics2017 | Filozofická fakulta
- Matematické struktury hrubých množin2009 | Matematicko-fyzikální fakulta
- Lindenbaum-style proof of completeness for infinitary logics2017 | Filozofická fakulta
- Protonegationality and inconsistency lemmas Part II2017 | Filozofická fakulta
- Lindenbaum and Pair Extension Lemma in Infinitary Logics2018 | Filozofická fakulta
- Lindenbaum and pair extension lemma in infinitary logics2018 | Filozofická fakulta
- Transformation of Mathematics Between World Wars: The Case of Combinatorics2021 | Matematicko-fyzikální fakulta