- Uniform refinements in distributive semilattices1998 | Faculty of Mathematics and Physics
- A distributive semilattice not isomorphic to the maximal semilattice quotient of the positive cone of any dimension group2003 | Faculty of Mathematics and Physics
- A nonstandard semantic framework for intuitionistic logic2016 | Faculty of Arts