| Publication | Date of Publication | Type |
|---|
Sequent calculi for first-order ST
Journal of Philosophical Logic | 2024-10-24 | Paper |
Filter classes of upsets of distributive lattices
Order | 2024-10-08 | Paper |
Logics of upsets of De Morgan lattices
Mathematical Logic Quarterly | 2024-01-02 | Paper |
| Compatibility between modal operators in distributive modal logic | 2023-11-16 | Paper |
Complemented MacNeille completions and algebras of fractions
Journal of Algebra | 2023-04-04 | Paper |
THE LATTICE OF SUPER-BELNAP LOGICS
The Review of Symbolic Logic | 2023-03-02 | Paper |
From partially ordered monoids to partially ordered groups via free nuclear preimages
Journal of Algebra | 2022-09-20 | Paper |
Complemented MacNeille completions and algebras of fractions
(available as arXiv preprint) | 2021-11-18 | Paper |
| Filter classes of upsets of distributive lattices | 2021-11-18 | Paper |
The lattice of super-Belnap logics
(available as arXiv preprint) | 2021-11-18 | Paper |
From partially ordered monoids to partially ordered groups via free nuclear preimages
(available as arXiv preprint) | 2021-11-18 | Paper |
Four-valued logics of truth, nonfalsity, exact truth, and material equivalence
Notre Dame Journal of Formal Logic | 2021-09-07 | Paper |
De Morgan clones and four-valued logics
Algebra Universalis | 2021-05-06 | Paper |
Lattice-ordered pregroups are semi-distributive
Algebra Universalis | 2021-03-03 | Paper |
| Semisimplicity, Glivenko theorems, and the excluded middle | 2021-01-10 | Paper |
Consistency, completeness, and classicality
New Essays on Belnap-Dunn Logic | 2020-08-10 | Paper |
| A duality for distributive unimodal logic | 2018-04-23 | Paper |
An algebraic view of super-Belnap logics
Studia Logica | 2017-12-14 | Paper |
Cut elimination, identity elimination, and interpolation in super-Belnap logics
Studia Logica | 2017-12-14 | Paper |
| Contradictory information as a basis for rational belief | 2017-11-22 | Paper |
Constructing natural extensions of propositional logics
Studia Logica | 2017-03-02 | Paper |
Reductio ad contradictionem: an algebraic perspective
Studia Logica | 2016-06-14 | Paper |
Pointed lattice subreducts of varieties of residuated lattices
(available as arXiv preprint) | N/A | Paper |
Equational definitions of logical filters
(available as arXiv preprint) | N/A | Paper |
Equivalence of multiset-based consequence relations
(available as arXiv preprint) | N/A | Paper |
Levin's and Prucnal's theorems on Medvedev's logic of finite problems
(available as arXiv preprint) | N/A | Paper |
