- The graphs of join-semilattices and the shape of congruence lattices of particle lattices2017 | Matematicko-fyzikální fakulta
- Structural Properties of the First-Order Transduction Quasiorder2022 | Matematicko-fyzikální fakulta
- A nonstandard semantic framework for intuitionistic logic2016 | Filozofická fakulta
- Some general aspects of exactness and strong exactness of meets2022 | Matematicko-fyzikální fakulta