- Bitopology and four-valued logic2016 | Matematicko-fyzikální fakulta
- On Interrelations Among Extensional Three-Valued Logics2001 | Filozofická fakulta
- Extensions of the four-valued Belnap-Dunn logic2017 | Filozofická fakulta
- Reductio ad contradictionem: an algebraic perspective2016 | Filozofická fakulta
- The lattice of clones of self-dual operations collapsed2023 | Matematicko-fyzikální fakulta
- An algebraic view of super-Belnap logics2017 | Filozofická fakulta