- A nonstandard semantic framework for intuitionistic logic2016 | Filozofická fakulta
- A new semantic framework for modal logic2014 | Filozofická fakulta
- Reductio ad contradictionem: an algebraic perspective2016 | Filozofická fakulta
- Embedding l-bimonoids into involutive residuated lattices2016 | Filozofická fakulta