| 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
Outstanding Contributions to Logic | 2024-03-25 | Paper |
Substitution Principle and semidirect products
Mathematical Structures in Computer Science | 2024-03-05 | Paper |
Topological Duality for Distributive Lattices
(available as arXiv preprint) | 2024-01-03 | Paper |
Stone duality for spectral sheaves and the patch monad
Journal of Pure and Applied Algebra | 2023-03-09 | Paper |
Priestley duality for MV-algebras and beyond
Forum Mathematicum | 2022-04-04 | Paper |
scientific article; zbMATH DE number 7471705 (Why is no real title available?)
(available as arXiv preprint) | 2022-02-09 | Paper |
| scientific article; zbMATH DE number 7471705 (Why is no real title available?) | 2022-02-09 | Paper |
Stone duality for spectral sheaves and the patch monad
(available as arXiv preprint) | 2022-01-31 | Paper |
Quantifiers on languages and codensity monads
Mathematical Structures in Computer Science | 2021-08-16 | Paper |
| Quantifiers on languages and codensity monads | 2021-01-19 | Paper |
Quantifiers on languages and codensity monads
(available as arXiv preprint) | 2021-01-19 | Paper |
A duality theoretic view on limits of finite structures: Extended version
(available as arXiv preprint) | 2020-12-17 | Paper |
Uniform Birkhoff
(available as arXiv preprint) | 2020-12-07 | Paper |
A duality theoretic view on limits of finite structures
(available as arXiv preprint) | 2020-09-23 | Paper |
| Stone duality and the substitution principle | 2020-05-26 | Paper |
Difference hierarchies and duality with an application to formal languages
Topology and its Applications | 2020-04-06 | Paper |
Priestley duality for MV-algebras and beyond
(available as arXiv preprint) | 2020-02-28 | Paper |
A duality theoretic view on limits of finite structures
(available as arXiv preprint) | 2019-07-09 | Paper |
Sheaves and Duality
(available as arXiv preprint) | 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
Algebra Universalis | 2018-10-30 | Paper |
Duality in computer science
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science | 2018-04-23 | Paper |
Sheaves and duality
Journal of Pure and Applied Algebra | 2018-04-12 | Paper |
| An interpolant in predicate G\"odel logic | 2018-03-08 | Paper |
Uniform Birkhoff
Journal of Pure and Applied Algebra | 2018-01-12 | Paper |
The Schützenberger product for syntactic spaces
(available as arXiv preprint) | 2017-12-19 | Paper |
Relational semantics for full linear logic
Journal of Applied Logic | 2016-05-10 | Paper |
Stone duality, topological algebra, and recognition.
Journal of Pure and Applied Algebra | 2016-02-26 | Paper |
Ultrafilters on words for a fragment of logic
Theoretical Computer Science | 2015-12-10 | Paper |
Canonical extensions, Esakia spaces, and universal models
Leo Esakia on Duality in Modal and Intuitionistic Logics | 2015-06-19 | Paper |
Distributive envelopes and topological duality for lattices via canonical extensions.
Order | 2014-10-31 | Paper |
Sheaf representations of MV-algebras and lattice-ordered abelian groups via duality
Journal of Algebra | 2014-09-04 | Paper |
From ultrafilters on words to the expressive power of a fragment of logic
Descriptional Complexity of Formal Systems | 2014-08-07 | Paper |
A non-commutative Priestley duality.
Topology and its Applications | 2014-01-08 | Paper |
Generalized Kripke semantics for the Lambek-Grishin calculus
Logic Journal of the IGPL | 2013-04-17 | Paper |
_1-completions of a poset.
Order | 2013-03-20 | Paper |
Loader and Urzyczyn are logically related
Automata, Languages, and Programming | 2012-11-01 | Paper |
Stone duality and the recognisable languages over an algebra
Algebra and Coalgebra in Computer Science | 2012-06-01 | Paper |
Free Heyting algebras: revisited
Algebra and Coalgebra in Computer Science | 2012-06-01 | Paper |
Distributive lattice-structured ontologies
Algebra and Coalgebra in Computer Science | 2012-06-01 | Paper |
A mathematical setting for fuzzy logics
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems | 2012-02-17 | Paper |
Canonical extensions for congruential logics with the deduction theorem
Annals of Pure and Applied Logic | 2011-08-26 | Paper |
Duality and recognition
Mathematical Foundations of Computer Science 2011 | 2011-08-17 | Paper |
A view of canonical extension
Logic, Language, and Computation | 2011-07-29 | Paper |
Canonical extensions and canonicity via dcpo presentations
Theoretical Computer Science | 2011-06-06 | Paper |
Finitely generated free Heyting algebras via Birkhoff duality and coalgebra
Logical Methods in Computer Science | 2011-05-26 | Paper |
A topological approach to recognition
Automata, Languages and Programming | 2010-09-07 | Paper |
Duality and Equational Theory of Regular Languages
Automata, Languages and Programming | 2008-08-19 | Paper |
| scientific article; zbMATH DE number 5289973 (Why is no real title available?) | 2008-06-18 | Paper |
Duality for double quasioperator algebras via their canonical extensions
Studia Logica | 2007-10-16 | Paper |
Complete congruences on topologies and down-set lattices
Applied Categorical Structures | 2007-08-17 | Paper |
Canonical extensions of double quasioperator algebras: an algebraic perspective on duality for certain algebras with binary operations
Journal of Pure and Applied Algebra | 2007-02-12 | Paper |
Generalized Kripke frames
Studia Logica | 2007-01-25 | Paper |
Profinite completions and canonical extensions of Heyting algebras
Order | 2007-01-25 | Paper |
Canonical extensions and relational completeness of some substructural logics
Journal of Symbolic Logic | 2006-01-16 | Paper |
MacNeille completions and canonical extensions
Transactions of the American Mathematical Society | 2005-11-09 | Paper |
| scientific article; zbMATH DE number 2209493 (Why is no real title available?) | 2005-09-28 | Paper |
Varieties generated by t-norms
Soft Computing | 2005-06-30 | Paper |
| scientific article; zbMATH DE number 2168736 (Why is no real title available?) | 2005-05-19 | Paper |
A Sahlqvist theorem for distributive modal logic
Annals of Pure and Applied Logic | 2005-01-31 | Paper |
Completeness of S4 with respect to the real line: revisited
Annals of Pure and Applied Logic | 2005-01-31 | Paper |
Bounded distributive lattice expansions
MATHEMATICA SCANDINAVICA | 2004-11-15 | Paper |
Euclidean hierarchy in modal logic
Studia Logica | 2004-01-14 | Paper |
| scientific article; zbMATH DE number 2019828 (Why is no real title available?) | 2004-01-05 | Paper |
Normal forms and truth tables for fuzzy logics
Fuzzy Sets and Systems | 2003-09-07 | Paper |
A note on negations and nilpotent t-norms
International Journal of Approximate Reasoning | 2002-07-23 | Paper |
Bounded lattice expansions
Journal of Algebra | 2002-07-10 | Paper |
Monotone bounded distributive lattice expansions
Mathematica Japonica | 2001-11-13 | Paper |
| Averaging operators on the unit interval | 2000-01-31 | Paper |
| scientific article; zbMATH DE number 1383827 (Why is no real title available?) | 2000-01-31 | Paper |
| scientific article; zbMATH DE number 1257182 (Why is no real title available?) | 1999-05-30 | Paper |
Stone algebra extensions with bounded dense sets
Algebra Universalis | 1998-11-23 | Paper |
| Some comments on interval valued fuzzy sets | 1997-02-13 | Paper |
| scientific article; zbMATH DE number 977972 (Why is no real title available?) | 1997-02-13 | Paper |
| scientific article; zbMATH DE number 697070 (Why is no real title available?) | 1997-02-09 | Paper |
Iterating conditionals and symmetric Stone algebras
Discrete Mathematics | 1996-03-24 | Paper |
G<sub>a</sub> actions on C<sup>n</sup>
Communications in Algebra | 1995-03-27 | Paper |
| scientific article; zbMATH DE number 223576 (Why is no real title available?) | 1993-06-29 | Paper |
The Order Structure of Stone Spaces and the <i>T</i><sub>D</sub>‐Separation Axiom
Mathematical Logic Quarterly | 1992-06-26 | Paper |
Some nonstandard methods applied to distributive lattices
Zeitschrift für Mathematische Logik und Grundlagen der Mathematik | 1990-01-01 | Paper |
On the Maximality of Some Conormal Extensions of a Lattice
Zeitschrift für Mathematische Logik und Grundlagen der Mathematik | 1987-01-01 | Paper |
