| Publication | Date of Publication | Type |
|---|
| Book review of: P. Cintula, C. Noguera, Logic and implication. An introduction to the general algebraic study of non-classical logics | 2023-08-10 | Paper |
| THE POSET OF ALL LOGICS II: LEIBNIZ CLASSES AND HIERARCHY | 2023-02-27 | Paper |
| Two Dualities for Weakly Pseudo-complemented quasi-Kleene Algebras | 2022-12-06 | Paper |
| A variety of algebras closely related to subordination algebras | 2022-11-17 | Paper |
| Quasi-Nelson algebras and fragments | 2022-01-20 | Paper |
| THE POSET OF ALL LOGICS I: INTERPRETATIONS AND LATTICE STRUCTURE | 2021-12-09 | Paper |
| The poset of all logics. III: Finitely presentable logics | 2021-08-19 | Paper |
| Bounded distributive lattices with two subordinations | 2021-03-19 | Paper |
| On the free frontal implicative semilattice extension of a frontal Hilbert algebra | 2020-07-15 | Paper |
| Priestley-style duality for filter-distributive congruential logics | 2020-03-02 | 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 |
| On Kalman’s functor for bounded hemi-implicative semilattices and hemi-implicative lattices | 2019-06-24 | Paper |
| On principal congruences in distributive lattices with a commutative monoidal operation and an implication | 2019-06-19 | Paper |
| Assertional logics, truth-equational logics, and the hierarchies of abstract algebraic logic | 2018-09-13 | Paper |
| A spectral-style duality for distributive posets | 2018-07-27 | Paper |
| A note of the full generalized models of the extensions of a logic | 2018-03-29 | Paper |
| The strong version of a sentential logic | 2017-11-16 | Paper |
| Four-valued modal logic: Kripke semantics and duality | 2017-05-17 | Paper |
| A topological duality for posets | 2016-12-16 | Paper |
| A note on Hilbert algebras and their related generalized Esakia spaces | 2016-12-16 | Paper |
| COMPATIBILITY OPERATORS IN ABSTRACT ALGEBRAIC LOGIC | 2016-08-19 | Paper |
| On the deductive system of the order of an equationally orderable quasivariety | 2016-06-14 | Paper |
| Easkia Duality and Its Extensions | 2015-06-19 | Paper |
| Dualities for modal N4-lattices | 2015-02-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5416161 | 2014-05-19 | Paper |
| Esakia style duality for implicative semilattices | 2013-03-25 | Paper |
| \(\Delta_1\)-completions of a poset. | 2013-03-20 | Paper |
| Algebraizable logics with a strong conjunction and their semi-lattice based companions | 2013-02-04 | Paper |
| Residuated bilattices | 2013-01-25 | Paper |
| On the free implicative semilattice extension of a Hilbert algebra | 2012-06-01 | Paper |
| A note on the model theory for positive modal logic | 2012-05-04 | Paper |
| Priestley style duality for distributive meet-semilattices | 2012-03-09 | Paper |
| Varieties of interlaced bilattices | 2011-11-23 | Paper |
| Leibniz-linked pairs of deductive systems | 2011-11-23 | Paper |
| Canonical extensions for congruential logics with the deduction theorem | 2011-08-26 | Paper |
| Generalized Priestley quasi-orders | 2011-08-16 | Paper |
| Distributive lattices with a generalized implication: topological duality | 2011-08-16 | Paper |
| Update to ``A survey of abstract algebraic logic | 2009-03-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3520838 | 2008-08-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5441553 | 2008-02-15 | Paper |
| Selfextensional logics with a conjunction | 2007-02-13 | Paper |
| Willem Blok's contribution to abstract algebraic logic | 2006-10-27 | Paper |
| On the closure properties of the class of full G-models of a deductive system | 2006-10-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3367285 | 2006-01-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5311056 | 2005-08-22 | Paper |
| Bounded distributive lattices with strict implication | 2005-06-01 | Paper |
| A survey of abstract algebraic logic | 2004-02-15 | Paper |
| A closer look at some subintuitionistic logics | 2004-02-04 | Paper |
| Leibniz filters revisited | 2004-01-14 | Paper |
| Fully adequate Gentzen systems and the deduction theorem | 2003-02-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4530155 | 2002-05-29 | Paper |
| Leibniz filters and the strong version of a protoalgebraic logic | 2001-12-13 | Paper |
| Weakly algebraizable logics | 2000-10-03 | Paper |
| Priestley duality, a Sahlqvist theorem and a Goldblatt-Thomason theorem for positive modal logic | 2000-04-03 | Paper |
| Definability of Leibniz equality | 2000-03-21 | Paper |
| A new semantics for positive modal logic | 1998-05-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4335229 | 1997-09-29 | Paper |
| On elementary equivalence for equality-free logic | 1997-05-19 | Paper |
| Some characterization theorems for infinitary universal Horn logic without equality | 1997-04-16 | Paper |
| On the Sentential Logics Associated with Strongly Nice and Semi-Nice General Logics | 1997-01-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4715441 | 1996-11-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4870565 | 1996-05-19 | Paper |
| Abstract modal logics | 1995-11-22 | Paper |
| Some logics related to von Wright's logic of place | 1994-12-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4284397 | 1994-03-06 | Paper |
| On the Mathematical Content of the Theory of Classes KM | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3743303 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3666830 | 1982-01-01 | Paper |
