Preprints
Balanced residuated partially ordered semigroups (with S. Bonzio, J. Gil-Férez, P. Jipsen, and M. Sugimoto). Under review. (arXiv)
Duality for finitely valued algebras (with Marco Abbadini). Under review. (arXiv)
Nagata products of bimodules over residuated lattices (with Constantine Tsinakis). Under review. (arXiv)
Compatibility between modal operators in distributive modal logic. Under review. (arXiv)
Semisimplicity, the excluded middle, and Glivenko theorems (with Tomáš Lávička). Under review. (arXiv) (slides)
Notes
Levin's and Prucnal's theorems on Medvedev's logic of finite problems. (arXiv)
Ph.D. thesis
Reasoning with inconsistent information. Charles University, 2018. (pdf)
Papers
21. Equivalence of multiset-based consequence relations (with A. Madanshekaf, Z.K. Seresti, and C. Tsinakis). Annals of Pure and Applied Logic 177(1), 103646, 2026. Published online in 2025.
20. Equational definitions of logical filters (with Michele Pra Baldi). Annals of Pure and Applied Logic 176(9), 103617, 2025.
19. On the structure of balanced residuated partially ordered monoids (with S. Bonzio, J. Gil-Férez, P. Jipsen, and M. Sugimoto). In Relational and Algebraic Methods in Computer Science 21st International Conference, RAMiCS 2024, Prague, Czech Republic, August 19–22, 2024, Proceedings. Springer, 2024.
(proceedings) (arXiv)
18. Sequent calculi for first-order ST (with Francesco Paoli). The Journal of Philosophical Logic 53: 1291–1320, 2024.
(journal)
17. Pointed lattice subreducts of varieties of residuated lattices. Order 42: 87–114, 2024.
16. Logics of upsets of De Morgan lattices. Mathematical Logic Quarterly 69(4): 419–445, 2023.
15. Filter classes of upsets of distributive lattices. Order 41: 365–390, 2024. Published online in 2023.
14. Complemented MacNeille completions and algebras of fractions (with Nick Galatos). Journal of Algebra 623: 288–357, 2023.
13. From partially ordered monoids to partially ordered groups via free nuclear preimages. Journal of Algebra 610: 119–166, 2022.
12. The lattice of super-Belnap logics. The Review of Symbolic Logic 16(1), 114–163, 2023. Published online in April 2021.
(journal) (arXiv) (slides) (slides) (slides)
11. De Morgan clones and four-valued logics. Algebra Universalis 82, article number 30, 2021.
(journal) (arXiv) (.hs script)
10. Lattice-ordered pregroups are semidistributive (with Nick Galatos, Peter Jipsen, and Michael Kinyon). Algebra Universalis 82, article number 16, 2021.
(journal) (preprint) (view-only full text)
9. Four-valued logics of truth, nonfalsity, exact truth, and material equivalence. Notre Dame Journal of Formal Logic 61(4): 601–621, 2020.
8. Consistency, completeness, and classicality. In New Essays on Belnap-Dunn Logic, Hitoshi Omori and Heinrich Wansing (eds.), Springer, 2019, pp. 255–278. Synthese Library volume 418.
(book) (preprint) (slides) (slides)
7. Cut elimination, identity elimination, and interpolation in super-Belnap logics. Studia Logica 105(6): 1255–1289, 2017 (Special issue: 40 years of FDE).
(journal) (arXiv) (view-only full text) (slides) (slides)
6. An algebraic view of super-Belnap logics (with Hugo Albuquerque and Umberto Rivieccio). Studia Logica 105(6): 1051–1086, 2017 (Special issue: 40 years of FDE).
(journal) (preprint) (view-only full text)
5. Contradictory information as a basis for rational belief. 6th International Workshop, LORI 2017, Sapporo, Japan, September 11–14, 2017, Proceedings, pp. 151–165. Edited by Alexandru Baltag, Jeremy Seligman and Tomoyuki Yamada. (Awarded Best student paper award at LORI VI.)
(book) (preprint) (slides) (slides)
4. The inconsistency predicate on De Morgan lattices. Acta Universitatis Carolinae Philosophica et Historica 2/2017 – Miscellanea Logica XI, pp. 45–61.
3. Constructing natural extensions of propositional logics. Studia Logica 104(6): 1179–1190, 2016.
(journal) (preprint) (view-only full text)
2. Reductio ad contradictionem: an algebraic perspective. Studia Logica 104(3): 389–415, 2016.
(journal) (preprint) (view-only full text)
1. A duality for distributive unimodal logic. Advances in Modal Logic, Volume 10, pp. 423–438, 2014. Edited by Rajeev Goré, Barteld Kooi and Agi Kurucz.
(proceedings) (paper) (slides)