- Countable Almost Rigid Heyting Algebras2006 | Faculty of Mathematics and Physics
- Dualities and Dual Pairs in Heyting Algebras2010 | Faculty of Mathematics and Physics
- Gaps and Dualities in Heyting Categories2007 | Faculty of Mathematics and Physics
- Priestley configurations and Heyting varieties2008 | Faculty of Mathematics and Physics
- Ideals in Heyting semilattices and open homomorphisms2007 | Faculty of Mathematics and Physics
- On relative universality and Q-universality of finetely generated varieties of Heyting algebras2011 | Faculty of Mathematics and Physics
- Endomorphisms of Complete Heyting Algebras1997 | Faculty of Mathematics and Physics
- Equimorphy in varieties of double Heyting algebras1998 | Faculty of Mathematics and Physics
- Finitely generated relatively universal varieties of Heyting algebras1996 | Faculty of Mathematics and Physics
- Sublocale sets and sublocale lattices2006 | Faculty of Mathematics and Physics
- Not all Kripke models of HA are locally PA2022 | Faculty of Mathematics and Physics
- Quotients and colimits of kappa-quantales2011 | Faculty of Mathematics and Physics
- Locales treated mostly in covariant way2008 | Faculty of Mathematics and Physics
- The Intuitionistic Robinson Arithmetic(s)2015 | Faculty of Arts
- Configurations in coproducts of Priestley spaces +12005 | Faculty of Mathematics and Physics
- New Aspects of Subfitness in Frames and Spaces2016 | Faculty of Mathematics and Physics
- Extending semilattices to frames using sites and coverages2014 | Faculty of Mathematics and Physics
- The Other Closure and Complete Sublocales2018 | Faculty of Mathematics and Physics
- The Dedekind MacNeille site completion of a meet semilattice2016 | Faculty of Mathematics and Physics
- Adjoint maps between implicative semilattices and continuity of localic maps2022 | Faculty of Mathematics and Physics