Publication | Date of Publication | Type |
---|
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 |
Profinite completions and canonical extensions of Heyting algebras | 2007-01-25 | Paper |
Generalized Kripke frames | 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 |
https://portal.mardi4nfdi.de/entity/Q2704574 | 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 |
https://portal.mardi4nfdi.de/entity/Q4332196 | 1997-02-13 | Paper |
Some comments on interval valued fuzzy sets | 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 |