- Uniform refinements in distributive semilattices1998 | Matematicko-fyzikální fakulta
- A distributive semilattice not isomorphic to the maximal semilattice quotient of the positive cone of any dimension group2003 | Matematicko-fyzikální fakulta
- A nonstandard semantic framework for intuitionistic logic2016 | Filozofická fakulta