- Bitopology and four-valued logic2016 | Faculty of Mathematics and Physics
- On Interrelations Among Extensional Three-Valued Logics2001 | Faculty of Arts
- Extensions of the four-valued Belnap-Dunn logic2017 | Faculty of Arts
- Reductio ad contradictionem: an algebraic perspective2016 | Faculty of Arts
- The lattice of clones of self-dual operations collapsed2023 | Faculty of Mathematics and Physics
- An algebraic view of super-Belnap logics2017 | Faculty of Arts