Mai Gehrke

According to our database, Mai Gehrke authored at least 55 papers between 1987 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of two.

2023

Substitution Principle and semidirect products.

Célia Borlido, Mai Gehrke

Math. Struct. Comput. Sci., 2023

2022

A duality theoretic view on limits of finite structures: Extended version.

Mai Gehrke, Tomás Jakl, Luca Reggio

Log. Methods Comput. Sci., 2022

Topological duality for distributive lattices, and applications.

Mai Gehrke, Sam van Gool

CoRR, 2022

2020

Quantifiers on languages and codensity monads.

Mai Gehrke, Daniela Petrisan, Luca Reggio

Math. Struct. Comput. Sci., 2020

A Cook's tour of duality in logic: from quantifiers, through Vietoris, to measures.

Mai Gehrke, Tomás Jakl, Luca Reggio

CoRR, 2020

A Duality Theoretic View on Limits of Finite Structures.

Mai Gehrke, Tomás Jakl, Luca Reggio

Proceedings of the Foundations of Software Science and Computation Structures, 2020

2018

Difference hierarchies and duality with an application to formal languages.

Célia Borlido, Mai Gehrke, Andreas Krebs, Howard Straubing

CoRR, 2018

A note on powers of Boolean spaces with internal semigroups.

Célia Borlido, Mai Gehrke

CoRR, 2018

2017

Stone duality for languages and complexity.

Mai Gehrke, Andreas Krebs

ACM SIGLOG News, 2017

Stone Duality and the Substitution Principle.

Célia Borlido, Silke Czarnetzki, Mai Gehrke, Andreas Krebs

Proceedings of the 26th EACSL Annual Conference on Computer Science Logic, 2017

2016

Ultrafilters on words for a fragment of logic.

Mai Gehrke, Andreas Krebs, Jean-Éric Pin

Theor. Comput. Sci., 2016

Duality in Computer Science.

Mai Gehrke

Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, 2016

The Schützenberger Product for Syntactic Spaces.

Mai Gehrke, Daniela Petrisan, Luca Reggio

Proceedings of the 43rd International Colloquium on Automata, Languages, and Programming, 2016

2015

Duality in Computer Science (Dagstuhl Seminar 15441).

Mai Gehrke, Achim Jung, Victor L. Selivanov, Dieter Spreen

Dagstuhl Reports, 2015

2014

Distributive Envelopes and Topological Duality for Lattices via Canonical Extensions.

Mai Gehrke, Samuel J. van Gool

Order, 2014

Relational semantics for full linear logic.

Dion Coumans, Mai Gehrke, Lorijn van Rooijen

J. Appl. Log., 2014

From Ultrafilters on Words to the Expressive Power of a Fragment of Logic.

Mai Gehrke, Andreas Krebs, Jean-Éric Pin

Proceedings of the Descriptional Complexity of Formal Systems, 2014

2013

Δ1-completions of a Poset.

Mai Gehrke, Ramon Jansana, Alessandra Palmigiano

Order, 2013

Duality in Computer Science (Dagstuhl Seminar 13311).

Mai Gehrke, Jean-Eric Pin, Victor L. Selivanov, Dieter Spreen

Dagstuhl Reports, 2013

Stone duality, topological algebra, and recognition.

Mai Gehrke

CoRR, 2013

2012

Generalized Kripke semantics for the Lambek-Grishin calculus.

Anna Chernilovskaya, Mai Gehrke, Lorijn van Rooijen

Log. J. IGPL, 2012

Loader and Urzyczyn Are Logically Related.

Sylvain Salvati, Giulio Manzonetto, Mai Gehrke, Henk Barendregt

Proceedings of the Automata, Languages, and Programming - 39th International Colloquium, 2012

2011

Canonical extensions and canonicity via dcpo presentations.

Mai Gehrke, Jacob Vosmaer

Theor. Comput. Sci., 2011

Finitely generated free Heyting algebras via Birkhoff duality and coalgebra

Nick Bezhanishvili, Mai Gehrke

Log. Methods Comput. Sci., 2011

Duality and Recognition.

Mai Gehrke

Proceedings of the Mathematical Foundations of Computer Science 2011, 2011

2010

Canonical extensions for congruential logics with the deduction theorem.

Mai Gehrke, Ramon Jansana, Alessandra Palmigiano

Ann. Pure Appl. Log., 2010

A Topological Approach to Recognition.

Mai Gehrke, Serge Grigorieff, Jean-Eric Pin

Proceedings of the Automata, Languages and Programming, 37th International Colloquium, 2010

2009

Canonical extension and canonicity via DCPO presentations

Mai Gehrke, Jacob Vosmaer

CoRR, 2009

A View of Canonical Extension.

Mai Gehrke, Jacob Vosmaer

Proceedings of the Logic, Language, and Computation, 2009

Stone Duality and the Recognisable Languages over an Algebra.

Mai Gehrke

Proceedings of the Algebra and Coalgebra in Computer Science, 2009

Distributive Lattice-Structured Ontologies.

Hans Bruun, Dion Coumans, Mai Gehrke

Proceedings of the Algebra and Coalgebra in Computer Science, 2009

Free Heyting Algebras: Revisited.

Nick Bezhanishvili, Mai Gehrke

Proceedings of the Algebra and Coalgebra in Computer Science, 2009

2008

Canonical extensions and completions of posets and lattices.

Mai Gehrke, Hilary A. Priestley

Reports Math. Log., 2008

Duality and Equational Theory of Regular Languages.

Mai Gehrke, Serge Grigorieff, Jean-Eric Pin

Proceedings of the Automata, Languages and Programming, 35th International Colloquium, 2008

2007

Duality for Double Quasioperator Algebras via their Canonical Extensions.

Mai Gehrke, Hilary A. Priestley

Stud Logica, 2007

Complete Congruences on Topologies and Down-set Lattices.

Marcel Erné, Mai Gehrke, Ales Pultr

Appl. Categorical Struct., 2007

2006

Generalized Kripke Frames.

Mai Gehrke

Stud Logica, 2006

Profinite Completions and Canonical Extensions of Heyting Algebras.

Guram Bezhanishvili, Mai Gehrke, Ray Mines, Patrick J. Morandi

Order, 2006

2005

Canonical extensions and relational completeness of some substructural logics.

J. Michael Dunn, Mai Gehrke, Alessandra Palmigiano

J. Symb. Log., 2005

A Sahlqvist theorem for distributive modal logic.

Mai Gehrke, Hideo Nagahashi, Yde Venema

Ann. Pure Appl. Log., 2005

Completeness of S4 with respect to the real line: revisited.

Guram Bezhanishvili, Mai Gehrke

Ann. Pure Appl. Log., 2005

2004

Varieties generated by T-norms.

Mai Gehrke, Carol L. Walker, Elbert A. Walker

Soft Comput., 2004

2003

Euclidean Hierarchy in Modal Logic.

Johan van Benthem, Guram Bezhanishvili, Mai Gehrke

Stud Logica, 2003

Normal forms and truth tables for fuzzy logics.

Mai Gehrke, Carol L. Walker, Elbert A. Walker

Fuzzy Sets Syst., 2003

2000

Some comments on fuzzy normal forms.

Mai Gehrke, Carol L. Walker, Elbert A. Walker

Proceedings of the Ninth IEEE International Conference on Fuzzy Systems, 2000

1999

Averaging operators on the unit interval.

Mai Gehrke, Carol L. Walker, Elbert A. Walker

Int. J. Intell. Syst., 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

A note on negations and nilpotent t-norms.

Mai Gehrke, Carol L. Walker, Elbert A. Walker

Int. J. Approx. Reason., 1999

1997

A Mathematical Setting for Fuzzy Logics.

Mai Gehrke, Carol L. Walker, Elbert A. Walker

Int. J. Uncertain. Fuzziness Knowl. Based Syst., 1997

1996

Some comments on interval valued fuzzy sets.

Mai Gehrke, Carol L. Walker, Elbert A. Walker

Int. J. Intell. Syst., 1996

DeMorgan systems on the unit interval.

Mai Gehrke, Carol L. Walker, Elbert A. Walker

Int. J. Intell. Syst., 1996

Iterating conditionals and symmetric Stone algebras.

Mai Gehrke, Elbert A. Walker

Discret. Math., 1996

1991

The Order Structure of Stone Spaces and the <i>T</i>_D-Separation Axiom.

Mai Gehrke

Math. Log. Q., 1991

1990

Some nonstandard methods applied to distributive lattices.

Mai Gehrke, Matt Insall, Klaus Kaiser

Math. Log. Q., 1990

1987

On the Maximality of Some Conormal Extensions of a Lattice.

Mai Gehrke, Klaus Kaiser

Math. Log. Q., 1987