Title | Journal | Journal Categories | Citations | Publication Date |
---|---|---|---|---|
Duality and canonical extensions of bounded distributive lattices with operators, and applications to the semantics of non-classical logics, I, II | Studia Logica |
| 2000 | |
Constructive canonicity in non-classical logics | Annals of Pure and Applied Logic |
| 1997 | |
Varieties of distributive lattices with unary operations, I | 1997 | |||
Duality for lattice-ordered algebras and normal algebraizable logics | Studia Logica |
| 1997 | |
A New Semantics for Positive Modal Logic | Notre Dame Journal of Formal Logic |
| 21 | 1997 |
Title | Journal | Journal Categories | Citations | Publication Date |
---|---|---|---|---|
Positive modal logic beyond distributivity | Annals of Pure and Applied Logic |
| 2024 | |
Modal reduction principles across relational semantics | Fuzzy Sets and Systems |
| 2024 | |
Modal reduction principles: a parametric shift to graphs | Journal of Applied Non-Classical Logics | 2024 | ||
Algebraic Proof Theory for LE-logics | ACM Transactions on Computational Logic |
| 2024 | |
Duality for normal lattice expansions and sorted residuated frames with relations | Algebra universalis |
| 1 | 2023 |