- A new proof of Ajtai's completeness theorem for nonstandard finite structures2015 | Matematicko-fyzikální fakulta
- Pointed Abelian logic and its fuzzy extensions2023 | Matematicko-fyzikální fakulta
- A Note on Arithmetical Completeness of Theories with Rosser Modalities2003 | Filozofická fakulta
- A Duality for Distributive Unimodal Logic2014 | Filozofická fakulta
- A duality for distributive unimodal logic2014 | Filozofická fakulta