| Publication | Date of Publication | Type |
|---|
| Bi-intermediate logics of trees and co-trees | 2024-08-08 | Paper |
| Positive modal logic beyond distributivity | 2023-12-18 | Paper |
| The algebraic significance of weak excluded middle laws | 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 | 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 | 2023-02-27 | Paper |
| Bi-intermediate logics of trees and co-trees | 2022-11-27 | Paper |
| ON EQUATIONAL COMPLETENESS THEOREMS | 2022-11-18 | Paper |
| Structural completeness in many-valued logics with rational constants | 2022-10-10 | Paper |
| Intuitionistic Sahlqvist theory for deductive systems | 2022-08-01 | Paper |
| THE POSET OF ALL LOGICS I: INTERPRETATIONS AND LATTICE STRUCTURE | 2021-12-09 | Paper |
| Profiniteness and representability of spectra of Heyting algebras | 2021-10-08 | Paper |
| The poset of all logics. III: Finitely presentable logics | 2021-08-19 | Paper |
| Structural completeness in many-valued logics with rational constants | 2021-08-06 | Paper |
| On equational completeness theorems | 2021-07-11 | Paper |
| Profiniteness and representability of spectra of Heyting algebras | 2021-03-03 | Paper |
| Epimorphisms in varieties of subidempotent residuated structures | 2021-02-09 | Paper |
| Logics of left variable inclusion and Płonka sums of matrices | 2021-01-19 | Paper |
| Singly generated quasivarieties and residuated structures | 2020-09-09 | Paper |
| Epimorphism surjectivity in varieties of Heyting algebras | 2020-08-27 | Paper |
| An Algebraic Approach to Valued Constraint Satisfaction | 2020-05-26 | Paper |
| VARIETIES OF DE MORGAN MONOIDS: COVERS OF ATOMS | 2020-04-27 | Paper |
| Epimorphisms, definability and cardinalities | 2020-03-27 | Paper |
| The poset of all logics II: Leibniz classes and hierarchy | 2020-02-18 | Paper |
| The Poset of All Logics I: Interpretations and Lattice Structure | 2019-11-21 | Paper |
| VARIETIES OF POSITIVE MODAL ALGEBRAS AND STRUCTURAL COMPLETENESS | 2019-10-30 | Paper |
| On prevarieties of logic | 2019-09-12 | Paper |
| On the complexity of the Leibniz hierarchy | 2019-08-01 | Paper |
| Varieties of positive modal algebras and structural completeness | 2019-08-01 | Paper |
| AN ABSTRACT APPROACH TO CONSEQUENCE RELATIONS | 2019-06-07 | Paper |
| On the complexity of the Leibniz hierarchy | 2019-05-02 | Paper |
| Varieties of De Morgan monoids: minimality and irreducible algebras | 2019-03-06 | Paper |
| On prevarieties of logic | 2019-02-11 | Paper |
| Logics of varieties, logics of semilattices and conjunction | 2019-01-08 | Paper |
| A STUDY OF TRUTH PREDICATES IN MATRIX SEMANTICS | 2018-11-29 | Paper |
| A LOGICAL AND ALGEBRAIC CHARACTERIZATION OF ADJUNCTIONS BETWEEN GENERALIZED QUASI-VARIETIES | 2018-10-26 | Paper |
| Assertional logics, truth-equational logics, and the hierarchies of abstract algebraic logic | 2018-09-13 | Paper |
| ON EVERYWHERE STRONGLY LOGIFIABLE ALGEBRAS | 2017-12-11 | Paper |
| A computational glimpse at the Leibniz and Frege hierarchies | 2017-11-06 | Paper |
| Epimorphisms in varieties of residuated structures | 2017-10-20 | Paper |
| The semantic isomorphism theorem in abstract algebraic logic | 2016-10-10 | Paper |
| An algebraic study of exactness in partial contexts | 2015-07-16 | Paper |
| \(M\)-sets and the representation problem | 2015-06-18 | Paper |
| A note on congruences of semilattices with sectionally finite height. | 2014-11-14 | Paper |
| Epimorphisms between finitely generated algebras | N/A | Paper |
