On the Maximality of Some Conormal Extensions of a Lattice. - Mai Gehrke; Klaus Kaiser (Math. Log. Q., 1987)

Some nonstandard methods applied to distributive lattices. - Mai Gehrke; Matt Insall; Klaus Kaiser (Math. Log. Q., 1990)

The Order Structure of Stone Spaces and the TD-Separation Axiom. - Mai Gehrke (Math. Log. Q., 1991)

Iterating conditionals and symmetric Stone algebras. - Mai Gehrke; Elbert A. Walker (Discret. Math., 1996)

DeMorgan systems on the unit interval. - Mai Gehrke; Carol L. Walker; Elbert A. Walker (Int. J. Intell. Syst., 1996)

Some comments on interval valued fuzzy sets. - Mai Gehrke; Carol L. Walker; Elbert A. Walker (Int. J. Intell. Syst., 1996)

A Mathematical Setting for Fuzzy Logics. - Mai Gehrke; Carol L. Walker; Elbert A. Walker (Int. J. Uncertain. Fuzziness Knowl. Based Syst., 1997)

A note on negations and nilpotent t-norms. - Mai Gehrke; Carol L. Walker; Elbert A. Walker (Int. J. Approx. Reason., 1999)

Propositional fuzzy logics: Decidable for some (algebraic) operators; undecidable for more complicated ones. - Mai Gehrke; Vladik Kreinovich; Bernadette Bouchon-Meunier (Int. J. Intell. Syst., 1999)

Averaging operators on the unit interval. - Mai Gehrke; Carol L. Walker; Elbert A. Walker (Int. J. Intell. Syst., 1999)

Some comments on fuzzy normal forms. - Mai Gehrke; Carol L. Walker; Elbert A. Walker (FUZZ-IEEE, 2000)

Normal forms and truth tables for fuzzy logics. - Mai Gehrke; Carol L. Walker; Elbert A. Walker (Fuzzy Sets Syst., 2003)

Euclidean Hierarchy in Modal Logic. - Johan van Benthem; Guram Bezhanishvili; Mai Gehrke (Stud Logica, 2003)

Varieties generated by T-norms. - Mai Gehrke; Carol L. Walker; Elbert A. Walker (Soft Comput., 2004)

Completeness of S4 with respect to the real line: revisited. - Guram Bezhanishvili; Mai Gehrke (Ann. Pure Appl. Log., 2005)

A Sahlqvist theorem for distributive modal logic. - Mai Gehrke; Hideo Nagahashi; Yde Venema (Ann. Pure Appl. Log., 2005)

Canonical extensions and relational completeness of some substructural logics. - J. Michael Dunn; Mai Gehrke; Alessandra Palmigiano (J. Symb. Log., 2005)

Profinite Completions and Canonical Extensions of Heyting Algebras. - Guram Bezhanishvili; Mai Gehrke; Ray Mines; Patrick J. Morandi (Order, 2006)

Generalized Kripke Frames. - Mai Gehrke (Stud Logica, 2006)

Complete Congruences on Topologies and Down-set Lattices. - Marcel Erné; Mai Gehrke; Ales Pultr (Appl. Categorical Struct., 2007)

Duality for Double Quasioperator Algebras via their Canonical Extensions. - Mai Gehrke; Hilary A. Priestley (Stud Logica, 2007)

Duality and Equational Theory of Regular Languages. - Mai Gehrke; Serge Grigorieff; Jean-Eric Pin (ICALP (2), 2008)

Canonical extensions and completions of posets and lattices. - Mai Gehrke; Hilary A. Priestley (Reports Math. Log., 2008)

Free Heyting Algebras: Revisited. - Nick Bezhanishvili; Mai Gehrke (CALCO, 2009)

Distributive Lattice-Structured Ontologies. - Hans Bruun; Dion Coumans; Mai Gehrke (CALCO, 2009)

Stone Duality and the Recognisable Languages over an Algebra. - Mai Gehrke (CALCO, 2009)

A View of Canonical Extension. - Mai Gehrke; Jacob Vosmaer (TbiLLC, 2009)

Canonical extension and canonicity via DCPO presentations - Mai Gehrke; Jacob Vosmaer (CoRR, 2009)

A Topological Approach to Recognition. - Mai Gehrke; Serge Grigorieff; Jean-Eric Pin (ICALP (2), 2010)

Canonical extensions for congruential logics with the deduction theorem. - Mai Gehrke; Ramon Jansana; Alessandra Palmigiano (Ann. Pure Appl. Log., 2010)

Duality and Recognition. - Mai Gehrke (MFCS, 2011)

Finitely generated free Heyting algebras via Birkhoff duality and coalgebra - Nick Bezhanishvili; Mai Gehrke (Log. Methods Comput. Sci., 2011)

Canonical extensions and canonicity via dcpo presentations. - Mai Gehrke; Jacob Vosmaer (Theor. Comput. Sci., 2011)

Loader and Urzyczyn Are Logically Related. - Sylvain Salvati; Giulio Manzonetto; Mai Gehrke; Henk Barendregt (ICALP (2), 2012)

Generalized Kripke semantics for the Lambek-Grishin calculus. - Anna Chernilovskaya; Mai Gehrke; Lorijn van Rooijen (Log. J. IGPL, 2012)

Stone duality, topological algebra, and recognition. - Mai Gehrke (CoRR, 2013)

Duality in Computer Science (Dagstuhl Seminar 13311). - Mai Gehrke; Jean-Eric Pin; Victor L. Selivanov; Dieter Spreen (Dagstuhl Reports, 2013)

Δ1-completions of a Poset. - Mai Gehrke; Ramon Jansana; Alessandra Palmigiano (Order, 2013)

From Ultrafilters on Words to the Expressive Power of a Fragment of Logic. - Mai Gehrke; Andreas Krebs; Jean-Éric Pin (DCFS, 2014)

Relational semantics for full linear logic. - Dion Coumans; Mai Gehrke; Lorijn van Rooijen (J. Appl. Log., 2014)

Distributive Envelopes and Topological Duality for Lattices via Canonical Extensions. - Mai Gehrke; Samuel J. van Gool (Order, 2014)

Duality in Computer Science (Dagstuhl Seminar 15441). - Mai Gehrke; Achim Jung; Victor L. Selivanov; Dieter Spreen (Dagstuhl Reports, 2015)

The Schützenberger Product for Syntactic Spaces. - Mai Gehrke; Daniela Petrisan; Luca Reggio (ICALP, 2016)

Duality in Computer Science. - Mai Gehrke (LICS, 2016)

Ultrafilters on words for a fragment of logic. - Mai Gehrke; Andreas Krebs; Jean-Éric Pin (Theor. Comput. Sci., 2016)

Stone Duality and the Substitution Principle. - Célia Borlido; Silke Czarnetzki; Mai Gehrke; Andreas Krebs (CSL, 2017)

Stone duality for languages and complexity. - Mai Gehrke; Andreas Krebs (ACM SIGLOG News, 2017)

A note on powers of Boolean spaces with internal semigroups. - Célia Borlido; Mai Gehrke (CoRR, 2018)

Difference hierarchies and duality with an application to formal languages. - Célia Borlido; Mai Gehrke; Andreas Krebs; Howard Straubing (CoRR, 2018)

A Duality Theoretic View on Limits of Finite Structures. - Mai Gehrke; Tomas Jakl; Luca Reggio (FoSSaCS, 2020)

A Cook's tour of duality in logic: from quantifiers, through Vietoris, to measures. - Mai Gehrke; Tomas Jakl; Luca Reggio (CoRR, 2020)

Quantifiers on languages and codensity monads. - Mai Gehrke; Daniela Petrisan; Luca Reggio (Math. Struct. Comput. Sci., 2020)

Topological duality for distributive lattices, and applications. - Mai Gehrke; Sam van Gool (CoRR, 2022)

A duality theoretic view on limits of finite structures: Extended version. - Mai Gehrke; Tomas Jakl; Luca Reggio (Log. Methods Comput. Sci., 2022)

Substitution Principle and semidirect products. - Célia Borlido; Mai Gehrke (Math. Struct. Comput. Sci., 2023)