Preprints
Equivalence of multiset-based consequence relations (with A. Madanshekaf, Z.K. Seresti, and C. Tsinakis). Under review. (arXiv)
Equational definitions of logical filters (with Michele Pra Baldi). Under review. (arXiv)
Compatibility between modal operators in distributive modal logic. Under review. (arXiv)
Unital lattice subreducts of integral commutative residuated lattices. 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
16. Logics of upsets of De Morgan lattices. Mathematical Logic Quarterly 69(4): 419–445, 2023.
15. Filter classes of upsets of distributive lattices. Published online in Order, 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, 2021.
(journal) (arXiv) (.hs script)
10. Lattice-ordered pregroups are semidistributive (with Nick Galatos, Peter Jipsen, and Michael Kinyon). Algebra Universalis 82, 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)