| Publication | Date of Publication | Type |
|---|
Epimorphisms between finitely generated algebras
(available as arXiv preprint) | N/A | Paper |
Trees and spectra of Heyting algebras
Indagationes Mathematicae. New Series | 2026-07-20 | Paper |
Strictly n-finite varieties of Heyting algebras
The Journal of Symbolic Logic | 2026-03-11 | Paper |
Elementary equivalence in positive logic via prime products
The Journal of Symbolic Logic | 2025-12-10 | Paper |
| A gentle introduction to the Leibniz hierarchy | 2025-10-24 | Paper |
Epimorphisms between finitely generated algebras
Indagationes Mathematicae. New Series | 2025-09-03 | Paper |
On the universal theory of the free pseudocomplemented distributive lattice
Journal of Algebra | 2025-08-06 | Paper |
Local tabularity is decidable for bi-intermediate logics of trees and of co-trees
Annals of Pure and Applied Logic | 2025-03-06 | Paper |
Intuitionistic Sahlqvist theory for deductive systems
The Journal of Symbolic Logic | 2025-02-03 | Paper |
Bi-intermediate logics of trees and co-trees
Annals of Pure and Applied Logic | 2024-08-08 | Paper |
Positive modal logic beyond distributivity
Annals of Pure and Applied Logic | 2023-12-18 | Paper |
The algebraic significance of weak excluded middle laws
Mathematical Logic Quarterly | 2023-09-12 | Paper |
| Degrees of the finite model property: the antidichotomy theorem | 2023-07-14 | Paper |
| On locally finite varieties of Heyting algebras | 2023-06-28 | Paper |
Hereditarily structurally complete intermediate logics: Citkin's theorem via duality
Studia Logica | 2023-04-21 | Paper |
| Elementary equivalence in positive logic via prime products | 2023-03-05 | Paper |
THE POSET OF ALL LOGICS II: LEIBNIZ CLASSES AND HIERARCHY
Journal of Symbolic Logic | 2023-02-27 | Paper |
| Bi-intermediate logics of trees and co-trees | 2022-11-27 | Paper |
ON EQUATIONAL COMPLETENESS THEOREMS
Journal of Symbolic Logic | 2022-11-18 | Paper |
Structural completeness in many-valued logics with rational constants
Notre Dame Journal of Formal Logic | 2022-10-10 | Paper |
| Intuitionistic Sahlqvist theory for deductive systems | 2022-08-01 | Paper |
THE POSET OF ALL LOGICS I: INTERPRETATIONS AND LATTICE STRUCTURE
Journal of Symbolic Logic | 2021-12-09 | Paper |
Profiniteness and representability of spectra of Heyting algebras
Advances in Mathematics | 2021-10-08 | Paper |
The poset of all logics. III: Finitely presentable logics
Studia Logica | 2021-08-19 | Paper |
Structural completeness in many-valued logics with rational constants
(available as arXiv preprint) | 2021-08-06 | Paper |
On equational completeness theorems
(available as arXiv preprint) | 2021-07-11 | Paper |
Profiniteness and representability of spectra of Heyting algebras
(available as arXiv preprint) | 2021-03-03 | Paper |
Epimorphisms in varieties of subidempotent residuated structures
Algebra Universalis | 2021-02-09 | Paper |
Logics of left variable inclusion and Płonka sums of matrices
Archive for Mathematical Logic | 2021-01-19 | Paper |
Singly generated quasivarieties and residuated structures
Mathematical Logic Quarterly | 2020-09-09 | Paper |
Epimorphism surjectivity in varieties of Heyting algebras
Annals of Pure and Applied Logic | 2020-08-27 | Paper |
| An Algebraic Approach to Valued Constraint Satisfaction | 2020-05-26 | Paper |
Varieties of De Morgan monoids: covers of atoms
The Review of Symbolic Logic | 2020-04-27 | Paper |
Epimorphisms, definability and cardinalities
Studia Logica | 2020-03-27 | Paper |
The poset of all logics II: Leibniz classes and hierarchy
(available as arXiv preprint) | 2020-02-18 | Paper |
The Poset of All Logics I: Interpretations and Lattice Structure
(available as arXiv preprint) | 2019-11-21 | Paper |
VARIETIES OF POSITIVE MODAL ALGEBRAS AND STRUCTURAL COMPLETENESS
The Review of Symbolic Logic | 2019-10-30 | Paper |
On prevarieties of logic
Algebra Universalis | 2019-09-12 | Paper |
On the complexity of the Leibniz hierarchy
(available as arXiv preprint) | 2019-08-01 | Paper |
Varieties of positive modal algebras and structural completeness
(available as arXiv preprint) | 2019-08-01 | Paper |
An abstract approach to consequence relations
The Review of Symbolic Logic | 2019-06-07 | Paper |
On the complexity of the Leibniz hierarchy
Annals of Pure and Applied Logic | 2019-05-02 | Paper |
Varieties of De Morgan monoids: minimality and irreducible algebras
Journal of Pure and Applied Algebra | 2019-03-06 | Paper |
On prevarieties of logic
(available as arXiv preprint) | 2019-02-11 | Paper |
Logics of varieties, logics of semilattices and conjunction
Logic Journal of the IGPL | 2019-01-08 | Paper |
A study of truth predicates in matrix semantics
The Review of Symbolic Logic | 2018-11-29 | Paper |
A logical and algebraic characterization of adjunctions between generalized quasi-varieties
Journal of Symbolic Logic | 2018-10-26 | Paper |
Assertional logics, truth-equational logics, and the hierarchies of abstract algebraic logic
Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science | 2018-09-13 | Paper |
| On everywhere strongly logifiable algebras | 2017-12-11 | Paper |
A computational glimpse at the Leibniz and Frege hierarchies
Annals of Pure and Applied Logic | 2017-11-06 | Paper |
Epimorphisms in varieties of residuated structures
Journal of Algebra | 2017-10-20 | Paper |
Epimorphisms in varieties of residuated structures
Journal of Algebra | 2017-10-20 | Paper |
The semantic isomorphism theorem in abstract algebraic logic
Annals of Pure and Applied Logic | 2016-10-10 | Paper |
An algebraic study of exactness in partial contexts
International Journal of Approximate Reasoning | 2015-07-16 | Paper |
\(M\)-sets and the representation problem
Studia Logica | 2015-06-18 | Paper |
A note on congruences of semilattices with sectionally finite height.
Algebra Universalis | 2014-11-14 | Paper |
