- Spočetné skoro strnulé Heytingovy algebry2006 | Matematicko-fyzikální fakulta
- Duality a duální dvojice v Heytingových algebrách2010 | Matematicko-fyzikální fakulta
- Mezery a duality v Heytingovských kategoriích2007 | Matematicko-fyzikální fakulta
- Priestleyovské konfigurace a Heytingovské variety2008 | Matematicko-fyzikální fakulta
- Ideály v Heytingových polosvazech a otevřené homomorfismy2007 | Matematicko-fyzikální fakulta
- On relative universality and Q-universality of finetely generated varieties of Heyting algebras2011 | Matematicko-fyzikální fakulta
- Endomorphisms of Complete Heyting Algebras1997 | Matematicko-fyzikální fakulta
- Equimorphy in varieties of double Heyting algebras1998 | Matematicko-fyzikální fakulta
- Finitely generated relatively universal varieties of Heyting algebras1996 | Matematicko-fyzikální fakulta
- Sublokalické množiny a svazy sublokálů2006 | Matematicko-fyzikální fakulta
- Not all Kripke models of HA are locally PA2022 | Matematicko-fyzikální fakulta
- Quotients and colimits of kappa-quantales2011 | Matematicko-fyzikální fakulta
- Lokály zpracované převážně kovariantním způsobem2008 | Matematicko-fyzikální fakulta
- The Intuitionistic Robinson Arithmetic(s)2015 | Filozofická fakulta
- Configurations in coproducts of Priestley spaces2005 | Matematicko-fyzikální fakulta
- Konfigurace v koproduktech Priestleyovských prostorů2005 | Matematicko-fyzikální fakulta
- New Aspects of Subfitness in Frames and Spaces2016 | Matematicko-fyzikální fakulta
- Extending semilattices to frames using sites and coverages2014 | Matematicko-fyzikální fakulta
- The Other Closure and Complete Sublocales2018 | Matematicko-fyzikální fakulta
- The Dedekind MacNeille site completion of a meet semilattice2016 | Matematicko-fyzikální fakulta
- Adjoint maps between implicative semilattices and continuity of localic maps2022 | Matematicko-fyzikální fakulta