default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMai Gehrke
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Journal Articles
- 2023
[j33]Célia Borlido
, Mai Gehrke:
Substitution Principle and semidirect products. Math. Struct. Comput. Sci. 33(6): 486-535 (2023)- 2022
- [j32]Mai Gehrke, Tomas Jakl, Luca Reggio:
A duality theoretic view on limits of finite structures: Extended version. Log. Methods Comput. Sci. 18(1) (2022) - 2020
- [j31]Mai Gehrke, Daniela Petrisan, Luca Reggio:
Quantifiers on languages and codensity monads. Math. Struct. Comput. Sci. 30(10): 1054-1088 (2020) - 2017
- [j30]Mai Gehrke, Andreas Krebs:
Stone duality for languages and complexity. ACM SIGLOG News 4(2): 29-53 (2017) - 2016
- [j29]Mai Gehrke, Andreas Krebs, Jean-Éric Pin:
Ultrafilters on words for a fragment of logic. Theor. Comput. Sci. 610: 37-58 (2016) - 2014
- [j28]Dion Coumans, Mai Gehrke, Lorijn van Rooijen:
Relational semantics for full linear logic. J. Appl. Log. 12(1): 50-66 (2014) - [j27]Mai Gehrke, Samuel J. van Gool:
Distributive Envelopes and Topological Duality for Lattices via Canonical Extensions. Order 31(3): 435-461 (2014) - 2013
- [j26]Mai Gehrke, Ramon Jansana, Alessandra Palmigiano:
Δ1-completions of a Poset. Order 30(1): 39-64 (2013) - 2012
- [j25]Anna Chernilovskaya, Mai Gehrke, Lorijn van Rooijen:
Generalized Kripke semantics for the Lambek-Grishin calculus. Log. J. IGPL 20(6): 1110-1132 (2012) - 2011
- [j24]Nick Bezhanishvili, Mai Gehrke:
Finitely generated free Heyting algebras via Birkhoff duality and coalgebra. Log. Methods Comput. Sci. 7(2) (2011) - [j23]Mai Gehrke, Jacob Vosmaer:
Canonical extensions and canonicity via dcpo presentations. Theor. Comput. Sci. 412(25): 2714-2723 (2011) - 2010
- [j22]Mai Gehrke, Ramon Jansana, Alessandra Palmigiano:
Canonical extensions for congruential logics with the deduction theorem. Ann. Pure Appl. Log. 161(12): 1502-1519 (2010) - 2008
- [j21]Mai Gehrke, Hilary A. Priestley:
Canonical extensions and completions of posets and lattices. Reports Math. Log. 43: 133-152 (2008) - 2007
- [j20]Marcel Erné, Mai Gehrke, Ales Pultr:
Complete Congruences on Topologies and Down-set Lattices. Appl. Categorical Struct. 15(1-2): 163-184 (2007) - [j19]Mai Gehrke, Hilary A. Priestley:
Duality for Double Quasioperator Algebras via their Canonical Extensions. Stud Logica 86(1): 31-68 (2007) - 2006
- [j18]Guram Bezhanishvili, Mai Gehrke, Ray Mines, Patrick J. Morandi:
Profinite Completions and Canonical Extensions of Heyting Algebras. Order 23(2-3): 143-161 (2006) - [j17]Mai Gehrke:
Generalized Kripke Frames. Stud Logica 84(2): 241-275 (2006) - 2005
- [j16]Mai Gehrke, Hideo Nagahashi, Yde Venema:
A Sahlqvist theorem for distributive modal logic. Ann. Pure Appl. Log. 131(1-3): 65-102 (2005) - [j15]Guram Bezhanishvili, Mai Gehrke:
Completeness of S4 with respect to the real line: revisited. Ann. Pure Appl. Log. 131(1-3): 287-301 (2005) - [j14]J. Michael Dunn, Mai Gehrke, Alessandra Palmigiano:
Canonical extensions and relational completeness of some substructural logics. J. Symb. Log. 70(3): 713-740 (2005) - 2004
- [j13]Mai Gehrke, Carol L. Walker, Elbert A. Walker:
Varieties generated by T-norms. Soft Comput. 8(4): 264-267 (2004) - 2003
- [j12]Mai Gehrke, Carol L. Walker, Elbert A. Walker:
Normal forms and truth tables for fuzzy logics. Fuzzy Sets Syst. 138(1): 25-51 (2003) - [j11]Johan van Benthem, Guram Bezhanishvili, Mai Gehrke:
Euclidean Hierarchy in Modal Logic. Stud Logica 75(3): 327-344 (2003) - 1999
- [j10]Mai Gehrke, Carol L. Walker, Elbert A. Walker:
A note on negations and nilpotent t-norms. Int. J. Approx. Reason. 21(2): 137-155 (1999) - [j9]Mai Gehrke, Carol L. Walker, Elbert A. Walker:
Averaging operators on the unit interval. Int. J. Intell. Syst. 14(9): 883-898 (1999) - [j8]Mai Gehrke, Vladik Kreinovich, Bernadette Bouchon-Meunier:
Propositional fuzzy logics: Decidable for some (algebraic) operators; undecidable for more complicated ones. Int. J. Intell. Syst. 14(9): 935-947 (1999) - 1997
- [j7]Mai Gehrke, Carol L. Walker, Elbert A. Walker:
A Mathematical Setting for Fuzzy Logics. Int. J. Uncertain. Fuzziness Knowl. Based Syst. 5(3): 223-238 (1997) - 1996
- [j6]Mai Gehrke, Elbert A. Walker:
Iterating conditionals and symmetric Stone algebras. Discret. Math. 148(1-3): 49-63 (1996) - [j5]Mai Gehrke, Carol L. Walker, Elbert A. Walker:
DeMorgan systems on the unit interval. Int. J. Intell. Syst. 11(10): 733-750 (1996) - [j4]Mai Gehrke, Carol L. Walker, Elbert A. Walker:
Some comments on interval valued fuzzy sets. Int. J. Intell. Syst. 11(10): 751-759 (1996) - 1991
- [j3]Mai Gehrke:
The Order Structure of Stone Spaces and the TD-Separation Axiom. Math. Log. Q. 37(1): 5-15 (1991) - 1990
- [j2]Mai Gehrke, Matt Insall, Klaus Kaiser:
Some nonstandard methods applied to distributive lattices. Math. Log. Q. 36(2): 123-131 (1990) - 1987
- [j1]Mai Gehrke, Klaus Kaiser:
On the Maximality of Some Conormal Extensions of a Lattice. Math. Log. Q. 33(1): 13-18 (1987)
Conference and Workshop Papers
- 2020
- [c15]Mai Gehrke, Tomas Jakl, Luca Reggio:
A Duality Theoretic View on Limits of Finite Structures. FoSSaCS 2020: 299-318 - 2017
- [c14]Célia Borlido, Silke Czarnetzki, Mai Gehrke, Andreas Krebs:
Stone Duality and the Substitution Principle. CSL 2017: 13:1-13:20 - [c13]Mai Gehrke, Daniela Petrisan, Luca Reggio:
Quantifiers on languages and codensity monads. LICS 2017: 1-12 - 2016
- [c12]Mai Gehrke, Daniela Petrisan, Luca Reggio:
The Schützenberger Product for Syntactic Spaces. ICALP 2016: 112:1-112:14 - [c11]Mai Gehrke:
Duality in Computer Science. LICS 2016: 12-26 - 2014
- [c10]Mai Gehrke, Andreas Krebs, Jean-Éric Pin:
From Ultrafilters on Words to the Expressive Power of a Fragment of Logic. DCFS 2014: 138-149 - 2012
- [c9]Sylvain Salvati, Giulio Manzonetto, Mai Gehrke, Henk Barendregt:
Loader and Urzyczyn Are Logically Related. ICALP (2) 2012: 364-376 - 2011
- [c8]Mai Gehrke:
Duality and Recognition. MFCS 2011: 3-18 - 2010
- [c7]Mai Gehrke, Serge Grigorieff, Jean-Eric Pin:
A Topological Approach to Recognition. ICALP (2) 2010: 151-162 - 2009
- [c6]Mai Gehrke:
Stone Duality and the Recognisable Languages over an Algebra. CALCO 2009: 236-250 - [c5]Nick Bezhanishvili, Mai Gehrke:
Free Heyting Algebras: Revisited. CALCO 2009: 251-266 - [c4]Hans Bruun, Dion Coumans, Mai Gehrke:
Distributive Lattice-Structured Ontologies. CALCO 2009: 267-283 - [c3]Mai Gehrke, Jacob Vosmaer:
A View of Canonical Extension. TbiLLC 2009: 77-100 - 2008
- [c2]Mai Gehrke, Serge Grigorieff, Jean-Eric Pin:
Duality and Equational Theory of Regular Languages. ICALP (2) 2008: 246-257 - 2000
- [c1]Mai Gehrke, Carol L. Walker, Elbert A. Walker:
Some comments on fuzzy normal forms. FUZZ-IEEE 2000: 593-598
Editorship
- 2021
- [e1]Uli Fahrenberg, Mai Gehrke, Luigi Santocanale, Michael Winter:
Relational and Algebraic Methods in Computer Science - 19th International Conference, RAMiCS 2021, Marseille, France, November 2-5, 2021, Proceedings. Lecture Notes in Computer Science 13027, Springer 2021, ISBN 978-3-030-88700-1 [contents]
Informal and Other Publications
- 2022
- [i14]Mai Gehrke, Sam van Gool:
Topological duality for distributive lattices, and applications. CoRR abs/2203.03286 (2022) - 2021
- [i13]Célia Borlido, Mai Gehrke:
Substitution Principle and semidirect products. CoRR abs/2106.12525 (2021) - 2020
- [i12]Mai Gehrke, Tomas Jakl, Luca Reggio:
A Cook's tour of duality in logic: from quantifiers, through Vietoris, to measures. CoRR abs/2007.15415 (2020) - [i11]Mai Gehrke, Tomas Jakl, Luca Reggio:
A duality theoretic view on limits of finite structures: Extended version. CoRR abs/2012.09975 (2020) - 2019
- [i10]Mai Gehrke, Tomas Jakl, Luca Reggio:
A duality theoretic view on limits of finite structures. CoRR abs/1907.04036 (2019) - 2018
- [i9]Célia Borlido, Mai Gehrke:
A note on powers of Boolean spaces with internal semigroups. CoRR abs/1811.12339 (2018) - [i8]Célia Borlido, Mai Gehrke, Andreas Krebs, Howard Straubing:
Difference hierarchies and duality with an application to formal languages. CoRR abs/1812.01921 (2018) - 2017
- [i7]Mai Gehrke, Daniela Petrisan, Luca Reggio:
Quantifiers on languages and codensity monads. CoRR abs/1702.08841 (2017) - 2016
- [i6]Mai Gehrke, Daniela Petrisan, Luca Reggio:
The Schützenberger product for syntactic spaces. CoRR abs/1603.08264 (2016) - 2015
- [i5]Mai Gehrke, Achim Jung, Victor L. Selivanov, Dieter Spreen:
Duality in Computer Science (Dagstuhl Seminar 15441). Dagstuhl Reports 5(10): 66-88 (2015) - 2013
- [i4]Mai Gehrke:
Stone duality, topological algebra, and recognition. CoRR abs/1309.2422 (2013) - [i3]Mai Gehrke, Jean-Eric Pin, Victor L. Selivanov, Dieter Spreen:
Duality in Computer Science (Dagstuhl Seminar 13311). Dagstuhl Reports 3(7): 54-73 (2013) - 2010
- [i2]Mai Gehrke, Jacob Vosmaer:
A view of canonical extension. CoRR abs/1009.2803 (2010) - 2009
- [i1]Mai Gehrke, Jacob Vosmaer:
Canonical extension and canonicity via DCPO presentations. CoRR abs/0909.0171 (2009)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-05 20:17 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
