| Publication | Date of Publication | Type |
|---|
| A Cook's tour of duality in logic: from quantifiers, through Vietoris, to measures | 2024-10-01 | Paper |
| Topological duality and algebraic completions | 2024-03-25 | Paper |
| Substitution Principle and semidirect products | 2024-03-05 | Paper |
| Topological Duality for Distributive Lattices | 2024-01-03 | Paper |
| Stone duality for spectral sheaves and the patch monad | 2023-03-09 | Paper |
| Priestley duality for MV-algebras and beyond | 2022-04-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5028470 | 2022-02-09 | Paper |
| Stone duality for spectral sheaves and the patch monad | 2022-01-31 | Paper |
| Quantifiers on languages and codensity monads | 2021-08-16 | Paper |
| Quantifiers on languages and codensity monads | 2021-01-19 | Paper |
| A duality theoretic view on limits of finite structures: Extended version | 2020-12-17 | Paper |
| Uniform Birkhoff | 2020-12-07 | Paper |
| A duality theoretic view on limits of finite structures | 2020-09-23 | Paper |
| Stone Duality and the Substitution Principle | 2020-05-26 | Paper |
| Difference hierarchies and duality with an application to formal languages | 2020-04-06 | Paper |
| Priestley duality for MV-algebras and beyond | 2020-02-28 | Paper |
| A duality theoretic view on limits of finite structures | 2019-07-09 | Paper |
| Sheaves and Duality | 2019-04-11 | Paper |
| A note on powers of Boolean spaces with internal semigroups | 2018-11-29 | Paper |
| Canonical extensions: an algebraic approach to Stone duality | 2018-10-30 | Paper |
| Duality in Computer Science | 2018-04-23 | Paper |
| Sheaves and duality | 2018-04-12 | Paper |
| An interpolant in predicate G\"odel logic | 2018-03-08 | Paper |
| Uniform Birkhoff | 2018-01-12 | Paper |
| The Sch\"utzenberger product for syntactic spaces | 2017-12-19 | Paper |
| Relational semantics for full linear logic | 2016-05-10 | Paper |
| Stone duality, topological algebra, and recognition. | 2016-02-26 | Paper |
| Ultrafilters on words for a fragment of logic | 2015-12-10 | Paper |
| Canonical Extensions, Esakia Spaces, and Universal Models | 2015-06-19 | Paper |
| Distributive envelopes and topological duality for lattices via canonical extensions. | 2014-10-31 | Paper |
| Sheaf representations of MV-algebras and lattice-ordered abelian groups via duality | 2014-09-04 | Paper |
| From Ultrafilters on Words to the Expressive Power of a Fragment of Logic | 2014-08-07 | Paper |
| A non-commutative Priestley duality. | 2014-01-08 | Paper |
| Generalized Kripke semantics for the Lambek-Grishin calculus | 2013-04-17 | Paper |
| \(\Delta_1\)-completions of a poset. | 2013-03-20 | Paper |
| Loader and Urzyczyn Are Logically Related | 2012-11-01 | Paper |
| Stone Duality and the Recognisable Languages over an Algebra | 2012-06-01 | Paper |
| Free Heyting Algebras: Revisited | 2012-06-01 | Paper |
| Distributive Lattice-Structured Ontologies | 2012-06-01 | Paper |
| A Mathematical Setting for Fuzzy Logics | 2012-02-17 | Paper |
| Canonical extensions for congruential logics with the deduction theorem | 2011-08-26 | Paper |
| Duality and Recognition | 2011-08-17 | Paper |
| A View of Canonical Extension | 2011-07-29 | Paper |
| Canonical extensions and canonicity via dcpo presentations | 2011-06-06 | Paper |
| Finitely generated free Heyting algebras via Birkhoff duality and coalgebra | 2011-05-26 | Paper |
| A Topological Approach to Recognition | 2010-09-07 | Paper |
| Duality and Equational Theory of Regular Languages | 2008-08-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3505082 | 2008-06-18 | Paper |
| Duality for double quasioperator algebras via their canonical extensions | 2007-10-16 | Paper |
| Complete congruences on topologies and down-set lattices | 2007-08-17 | Paper |
| Canonical extensions of double quasioperator algebras: an algebraic perspective on duality for certain algebras with binary operations | 2007-02-12 | Paper |
| Generalized Kripke frames | 2007-01-25 | Paper |
| Profinite completions and canonical extensions of Heyting algebras | 2007-01-25 | Paper |
| Canonical extensions and relational completeness of some substructural logics | 2006-01-16 | Paper |
| MacNeille completions and canonical extensions | 2005-11-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5692483 | 2005-09-28 | Paper |
| Varieties generated by t-norms | 2005-06-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4674829 | 2005-05-19 | Paper |
| A Sahlqvist theorem for distributive modal logic | 2005-01-31 | Paper |
| Completeness of S4 with respect to the real line: revisited | 2005-01-31 | Paper |
| Bounded distributive lattice expansions | 2004-11-15 | Paper |
| Euclidean hierarchy in modal logic | 2004-01-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4440523 | 2004-01-05 | Paper |
| Normal forms and truth tables for fuzzy logics | 2003-09-07 | Paper |
| A note on negations and nilpotent t-norms | 2002-07-23 | Paper |
| Bounded lattice expansions | 2002-07-10 | Paper |
| Monotone bounded distributive lattice expansions | 2001-11-13 | Paper |
| Averaging operators on the unit interval | 2000-01-31 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4719364 | 2000-01-31 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4228816 | 1999-05-30 | Paper |
| Stone algebra extensions with bounded dense sets | 1998-11-23 | Paper |
| Some comments on interval valued fuzzy sets | 1997-02-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4332196 | 1997-02-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4313857 | 1997-02-09 | Paper |
| Iterating conditionals and symmetric Stone algebras | 1996-03-24 | Paper |
| Ga actions on Cn | 1995-03-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5286156 | 1993-06-29 | Paper |
| The Order Structure of Stone Spaces and the TD‐Separation Axiom | 1992-06-26 | Paper |
| Some nonstandard methods applied to distributive lattices | 1990-01-01 | Paper |
| On the Maximality of Some Conormal Extensions of a Lattice | 1987-01-01 | Paper |
