Gehrke, Mai; van Gool, Sam Topological duality for distributive lattices. Theory and applications (to appear). (English) Zbl 07782961 Cambridge Tracts in Theoretical Computer Science 61. Cambridge: Cambridge University Press (ISBN 978-1-00-934969-7). (2024). MSC: 06-02 06D50 PDFBibTeX XML
Borlido, Célia; Gehrke, Mai Substitution principle and semidirect products. (English) Zbl 07813358 Math. Struct. Comput. Sci. 33, No. 6, 486-535 (2023). MSC: 68-XX PDFBibTeX XMLCite \textit{C. Borlido} and \textit{M. Gehrke}, Math. Struct. Comput. Sci. 33, No. 6, 486--535 (2023; Zbl 07813358) Full Text: DOI arXiv
Berger, Clemens; Gehrke, Mai Stone duality for spectral sheaves and the patch monad. (English) Zbl 1508.18006 J. Pure Appl. Algebra 227, No. 6, Article ID 107306, 34 p. (2023). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 18F70 06E15 20M75 18C15 PDFBibTeX XMLCite \textit{C. Berger} and \textit{M. Gehrke}, J. Pure Appl. Algebra 227, No. 6, Article ID 107306, 34 p. (2023; Zbl 1508.18006) Full Text: DOI arXiv
Gehrke, Mai Topological duality and algebraic completions. (English) Zbl 07823890 Galatos, Nikolaos (ed.) et al., Hiroakira Ono on substructural logics. Cham: Springer. Outst. Contrib. Log. 23, 143-184 (2022). MSC: 03A05 03Bxx PDFBibTeX XMLCite \textit{M. Gehrke}, Outst. Contrib. Log. 23, 143--184 (2022; Zbl 07823890) Full Text: DOI
Gehrke, Mai; Jakl, Tomáš; Reggio, Luca A duality theoretic view on limits of finite structures. (English) Zbl 07471705 Log. Methods Comput. Sci. 18, No. 1, Paper No. 16, 38 p. (2022). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{M. Gehrke} et al., Log. Methods Comput. Sci. 18, No. 1, Paper No. 16, 38 p. (2022; Zbl 07471705) Full Text: arXiv Link
Gehrke, Mai; van Gool, Sam Topological Duality for Distributive Lattices: Theory and Applications. arXiv:2203.03286 Preprint, arXiv:2203.03286 [math.LO] (2022). MSC: 06-01 54-01 03G10 68Q70 06B35 BibTeX Cite \textit{M. Gehrke} and \textit{S. van Gool}, ``Topological Duality for Distributive Lattices: Theory and Applications'', Preprint, arXiv:2203.03286 [math.LO] (2022) Full Text: arXiv OA License
Fussner, Wesley; Gehrke, Mai; van Gool, Samuel J.; Marra, Vincenzo Priestley duality for MV-algebras and beyond. (English) Zbl 07502399 Forum Math. 33, No. 4, 899-921 (2021). MSC: 06D50 06D35 03G10 PDFBibTeX XMLCite \textit{W. Fussner} et al., Forum Math. 33, No. 4, 899--921 (2021; Zbl 07502399) Full Text: DOI arXiv
Gehrke, Mai; Petrişan, Daniela; Reggio, Luca Quantifiers on languages and codensity monads. (English) Zbl 1495.68145 Math. Struct. Comput. Sci. 30, No. 10, 1054-1088 (2020). MSC: 68Q70 03B70 16Y60 18C15 PDFBibTeX XMLCite \textit{M. Gehrke} et al., Math. Struct. Comput. Sci. 30, No. 10, 1054--1088 (2020; Zbl 1495.68145) Full Text: DOI
Gehrke, Mai; Jakl, Tomáš; Reggio, Luca A duality theoretic view on limits of finite structures. (English) Zbl 07250944 Goubault-Larrecq, Jean (ed.) et al., Foundations of software science and computation structures. 23rd international conference, FOSSACS 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12077, 299-318 (2020). MSC: 68Nxx 68Qxx PDFBibTeX XMLCite \textit{M. Gehrke} et al., Lect. Notes Comput. Sci. 12077, 299--318 (2020; Zbl 07250944) Full Text: DOI arXiv
Borlido, Célia; Gehrke, Mai; Krebs, Andreas; Straubing, Howard Difference hierarchies and duality with an application to formal languages. (English) Zbl 1477.06040 Topology Appl. 273, Article ID 106975, 27 p. (2020). MSC: 06D50 06D20 68Q45 03B70 PDFBibTeX XMLCite \textit{C. Borlido} et al., Topology Appl. 273, Article ID 106975, 27 p. (2020; Zbl 1477.06040) Full Text: DOI arXiv
Gehrke, Mai; Jakl, Tomas; Reggio, Luca A Cook’s tour of duality in logic: from quantifiers, through Vietoris, to measures. arXiv:2007.15415 Preprint, arXiv:2007.15415 [cs.LO] (2020). BibTeX Cite \textit{M. Gehrke} et al., ``A Cook's tour of duality in logic: from quantifiers, through Vietoris, to measures'', Preprint, arXiv:2007.15415 [cs.LO] (2020) Full Text: arXiv OA License
Gehrke, Mai Canonical extensions: an algebraic approach to Stone duality. (English) Zbl 1472.06016 Algebra Univers. 79, No. 3, Paper No. 63, 13 p. (2018). MSC: 06D50 06B23 06-03 PDFBibTeX XMLCite \textit{M. Gehrke}, Algebra Univers. 79, No. 3, Paper No. 63, 13 p. (2018; Zbl 1472.06016) Full Text: DOI HAL
Gehrke, Mai; v. Gool, Samuel J. Sheaves and duality. (English) Zbl 1528.06014 J. Pure Appl. Algebra 222, No. 8, 2164-2180 (2018). MSC: 06B35 06D22 06D35 06D50 18F20 54D30 PDFBibTeX XMLCite \textit{M. Gehrke} and \textit{S. J. v. Gool}, J. Pure Appl. Algebra 222, No. 8, 2164--2180 (2018; Zbl 1528.06014) Full Text: DOI arXiv
Gehrke, Mai; Pinsker, Michael Uniform Birkhoff. (English) Zbl 1522.03104 J. Pure Appl. Algebra 222, No. 5, 1242-1250 (2018). MSC: 03C05 08A30 08A40 08B20 08C05 PDFBibTeX XMLCite \textit{M. Gehrke} and \textit{M. Pinsker}, J. Pure Appl. Algebra 222, No. 5, 1242--1250 (2018; Zbl 1522.03104) Full Text: DOI arXiv HAL
Borlido, Célia; Gehrke, Mai A note on powers of Boolean spaces with internal semigroups. arXiv:1811.12339 Preprint, arXiv:1811.12339 [math.GN] (2018). BibTeX Cite \textit{C. Borlido} and \textit{M. Gehrke}, ``A note on powers of Boolean spaces with internal semigroups'', Preprint, arXiv:1811.12339 [math.GN] (2018) Full Text: arXiv OA License
Baaz, Matthias; Gehrke, Mai; van Gool, Sam An interpolant in predicate Gödel logic. arXiv:1803.03003 Preprint, arXiv:1803.03003 [math.LO] (2018). BibTeX Cite \textit{M. Baaz} et al., ``An interpolant in predicate G\"odel logic'', Preprint, arXiv:1803.03003 [math.LO] (2018) Full Text: arXiv OA License
Gehrke, Mai; Petrişan, Daniela; Reggio, Luca Quantifiers on languages and codensity monads. (English) Zbl 1458.68124 Proceedings of the 2017 32nd annual ACM/IEEE symposium on logic in computer science, LICS 2017, Reykjavík University, Reykjavík, Iceland, June 20–23, 2017. Piscataway, NJ: IEEE Press. Article No. 80, 12 p. (2017). MSC: 68Q70 03C80 06E15 18C15 PDFBibTeX XMLCite \textit{M. Gehrke} et al., in: Proceedings of the 2017 32nd annual ACM/IEEE symposium on logic in computer science, LICS 2017, Reykjavík University, Reykjavík, Iceland, June 20--23, 2017. Piscataway, NJ: IEEE Press. Article No. 80, 12 p. (2017; Zbl 1458.68124) Full Text: arXiv Link
Borlido, Célia; Czarnetzki, Silke; Gehrke, Mai; Krebs, Andreas Stone duality and the substitution principle. (English) Zbl 1434.06002 Goranko, Valentin (ed.) et al., 26th EACSL annual conference on computer science logic, CSL 2017, Stockholm, Sweden, August 20–24, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 82, Article 13, 20 p. (2017). MSC: 06E15 20M35 68Q70 PDFBibTeX XMLCite \textit{C. Borlido} et al., LIPIcs -- Leibniz Int. Proc. Inform. 82, Article 13, 20 p. (2017; Zbl 1434.06002) Full Text: DOI
Gehrke, Mai Duality in computer science. (English) Zbl 1392.68268 Proceedings of the 2016 31st annual ACM/IEEE symposium on logic in computer science, LICS 2016, New York City, NY, USA, July 5–8, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4391-6). 12-26 (2016). MSC: 68Q70 03B45 06D50 06E15 68Q55 PDFBibTeX XMLCite \textit{M. Gehrke}, in: Proceedings of the 2016 31st annual ACM/IEEE symposium on logic in computer science, LICS 2016, New York City, NY, USA, July 5--8, 2016. New York, NY: Association for Computing Machinery (ACM). 12--26 (2016; Zbl 1392.68268) Full Text: DOI
Gehrke, Mai; Petrisan, Daniela; Reggio, Luca The Schützenberger product for syntactic spaces. (English) Zbl 1388.68193 Chatzigiannakis, Ioannis (ed.) et al., 43rd international colloquium on automata, languages, and programming, ICALP 2016, Rome, Italy, July 12–15, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-013-2). LIPIcs – Leibniz International Proceedings in Informatics 55, Article 112, 14 p. (2016). MSC: 68Q70 03D05 06E15 PDFBibTeX XMLCite \textit{M. Gehrke} et al., LIPIcs -- Leibniz Int. Proc. Inform. 55, Article 112, 14 p. (2016; Zbl 1388.68193) Full Text: DOI arXiv
Gehrke, Mai Stone duality, topological algebra, and recognition. (English) Zbl 1339.06012 J. Pure Appl. Algebra 220, No. 7, 2711-2747 (2016). Reviewer: Daniele Mundici (Firenze) MSC: 06D50 06E15 20M35 22A30 68Q70 PDFBibTeX XMLCite \textit{M. Gehrke}, J. Pure Appl. Algebra 220, No. 7, 2711--2747 (2016; Zbl 1339.06012) Full Text: DOI arXiv
Gehrke, Mai; Krebs, Andreas; Pin, Jean-Éric Ultrafilters on words for a fragment of logic. (English) Zbl 1332.68149 Theor. Comput. Sci. 610, Part A, 37-58 (2016). MSC: 68Q70 03B20 03B25 06E15 PDFBibTeX XMLCite \textit{M. Gehrke} et al., Theor. Comput. Sci. 610, Part A, 37--58 (2016; Zbl 1332.68149) Full Text: DOI
Coumans, Dion; Gehrke, Mai; van Rooijen, Lorijn Relational semantics for full linear logic. (English) Zbl 1335.03063 J. Appl. Log. 12, No. 1, 50-66 (2014). MSC: 03F52 03B47 PDFBibTeX XMLCite \textit{D. Coumans} et al., J. Appl. Log. 12, No. 1, 50--66 (2014; Zbl 1335.03063) Full Text: DOI
Gehrke, Mai Canonical extensions, Esakia spaces, and universal models. (English) Zbl 1350.03050 Bezhanishvili, Guram (ed.), Leo Esakia on duality in modal and intuitionistic logics. Dordrecht: Springer (ISBN 978-94-017-8859-5/hbk; 978-94-017-8860-1/ebook). Outstanding Contributions to Logic 4, 9-41 (2014). MSC: 03G25 06D20 06D50 03B20 PDFBibTeX XMLCite \textit{M. Gehrke}, Outst. Contrib. Log. 4, 9--41 (2014; Zbl 1350.03050) Full Text: DOI
Gehrke, Mai; van Gool, Samuel J. Distributive envelopes and topological duality for lattices via canonical extensions. (English) Zbl 1309.06004 Order 31, No. 3, 435-461 (2014). Reviewer: Grigore Călugăreanu (Cluj-Napoca) MSC: 06B15 06B05 06A15 06B23 06D05 06D50 06D75 PDFBibTeX XMLCite \textit{M. Gehrke} and \textit{S. J. van Gool}, Order 31, No. 3, 435--461 (2014; Zbl 1309.06004) Full Text: DOI arXiv
Gehrke, Mai; van Gool, Samuel J.; Marra, Vincenzo Sheaf representations of MV-algebras and lattice-ordered abelian groups via duality. (English) Zbl 1300.06001 J. Algebra 417, 290-332 (2014). Reviewer: Daniele Mundici (Firenze) MSC: 06D35 06F20 06D50 18F20 54B40 PDFBibTeX XMLCite \textit{M. Gehrke} et al., J. Algebra 417, 290--332 (2014; Zbl 1300.06001) Full Text: DOI arXiv
Gehrke, Mai; Krebs, Andreas; Pin, Jean-Éric From ultrafilters on words to the expressive power of a fragment of logic. (English) Zbl 1332.68148 Jürgensen, Helmut (ed.) et al., Descriptional complexity of formal systems. 16th international workshop, DCFS 2014, Turku, Finland, August 5–8, 2014. Proceedings. Berlin: Springer (ISBN 978-3-319-09703-9/pbk). Lecture Notes in Computer Science 8614, 138-149 (2014). MSC: 68Q70 03B20 03B25 06E15 PDFBibTeX XMLCite \textit{M. Gehrke} et al., Lect. Notes Comput. Sci. 8614, 138--149 (2014; Zbl 1332.68148) Full Text: DOI HAL
Bauer, Andrej; Cvetko-Vah, Karin; Gehrke, Mai; van Gool, Samuel J.; Kudryavtseva, Ganna A non-commutative Priestley duality. (English) Zbl 1307.06008 Topology Appl. 160, No. 12, 1423-1438 (2013). Reviewer: Miroslav Ploščica (Košice) MSC: 06D50 06D75 06E75 06E15 54B40 18F20 PDFBibTeX XMLCite \textit{A. Bauer} et al., Topology Appl. 160, No. 12, 1423--1438 (2013; Zbl 1307.06008) Full Text: DOI arXiv
Gehrke, Mai; Jansana, Ramon; Palmigiano, Alessandra \(\Delta_1\)-completions of a poset. (English) Zbl 1317.06002 Order 30, No. 1, 39-64 (2013). Reviewer: Vinayak Joshi (Pune) MSC: 06A06 06B23 PDFBibTeX XMLCite \textit{M. Gehrke} et al., Order 30, No. 1, 39--64 (2013; Zbl 1317.06002) Full Text: DOI
Chernilovskaya, Anna; Gehrke, Mai; van Rooijen, Lorijn Generalized Kripke semantics for the Lambek-Grishin calculus. (English) Zbl 1301.03025 Log. J. IGPL 20, No. 6, 1110-1132 (2012). Reviewer: Mirosława Kołowska-Gawiejnowicz (Poznań) MSC: 03B47 PDFBibTeX XMLCite \textit{A. Chernilovskaya} et al., Log. J. IGPL 20, No. 6, 1110--1132 (2012; Zbl 1301.03025) Full Text: DOI Link
Salvati, Sylvain; Manzonetto, Giulio; Gehrke, Mai; Barendregt, Henk Loader and Urzyczyn are logically related. (English) Zbl 1367.03032 Czumaj, Artur (ed.) et al., Automata, languages, and programming. 39th international colloquium, ICALP 2012, Coventry, UK, July 9–13, 2012. Proceedings, Part II. Berlin: Springer (ISBN 978-3-642-31584-8/pbk). Lecture Notes in Computer Science 7392, 364-376 (2012). MSC: 03B40 PDFBibTeX XMLCite \textit{S. Salvati} et al., Lect. Notes Comput. Sci. 7392, 364--376 (2012; Zbl 1367.03032) Full Text: DOI HAL
Gehrke, Mai Duality and recognition. (English) Zbl 1343.68158 Murlak, Filip (ed.) et al., Mathematical foundations of computer science 2011. 36th international symposium, MFCS 2011, Warsaw, Poland, August 22–26, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22992-3/pbk). Lecture Notes in Computer Science 6907, 3-18 (2011). MSC: 68Q70 06E15 20M35 PDFBibTeX XMLCite \textit{M. Gehrke}, Lect. Notes Comput. Sci. 6907, 3--18 (2011; Zbl 1343.68158) Full Text: DOI
Gehrke, Mai; Vosmaer, Jacob A view of canonical extension. (English) Zbl 1341.03095 Bezhanishvili, Nick (ed.) et al., Logic, language, and computation. 8th international Tbilisi symposium on logic, language, and computation, TbiLLC 2009, Bakuriani, Georgia, September 21–25, 2009. Revised selected papers. Berlin: Springer (ISBN 978-3-642-22302-0/pbk). Lecture Notes in Computer Science 6618. Lecture Notes in Artificial Intelligence, 77-100 (2011). MSC: 03G25 06B35 06D50 PDFBibTeX XMLCite \textit{M. Gehrke} and \textit{J. Vosmaer}, Lect. Notes Comput. Sci. 6618, 77--100 (2011; Zbl 1341.03095) Full Text: DOI arXiv
Gehrke, Mai; Vosmaer, Jacob Canonical extensions and canonicity via dcpo presentations. (English) Zbl 1231.06013 Theor. Comput. Sci. 412, No. 25, 2714-2723 (2011). MSC: 06B35 06B23 06D50 PDFBibTeX XMLCite \textit{M. Gehrke} and \textit{J. Vosmaer}, Theor. Comput. Sci. 412, No. 25, 2714--2723 (2011; Zbl 1231.06013) Full Text: DOI
Bezhanishvili, Nick; Gehrke, Mai Finitely generated free Heyting algebras via Birkhoff duality and coalgebra. (English) Zbl 1229.06003 Log. Methods Comput. Sci. 7, No. 2, Paper No. 9, 24 p. (2011). Reviewer: Florentina Chirteş (Craiova) MSC: 06D20 PDFBibTeX XMLCite \textit{N. Bezhanishvili} and \textit{M. Gehrke}, Log. Methods Comput. Sci. 7, No. 2, Paper No. 9, 24 p. (2011; Zbl 1229.06003) Full Text: DOI arXiv
Gehrke, Mai; Jansana, Ramon; Palmigiano, Alessandra Canonical extensions for congruential logics with the deduction theorem. (English) Zbl 1238.03051 Ann. Pure Appl. Logic 161, No. 12, 1502-1519 (2010). Reviewer: Michiro Kondo (Inzai) MSC: 03G27 06B15 06B23 06D20 PDFBibTeX XMLCite \textit{M. Gehrke} et al., Ann. Pure Appl. Logic 161, No. 12, 1502--1519 (2010; Zbl 1238.03051) Full Text: DOI Link
Gehrke, Mai; Grigorieff, Serge; Pin, Jean-Éric A topological approach to recognition. (English) Zbl 1288.68176 Abramsky, Samson (ed.) et al., Automata, languages and programming. 37th international colloquium, ICALP 2010, Bordeaux, France, July 6–10, 2010. Proceedings, Part II. Berlin: Springer (ISBN 978-3-642-14161-4/pbk). Lecture Notes in Computer Science 6199, 151-162 (2010). MSC: 68Q70 06E15 20M35 54E15 PDFBibTeX XMLCite \textit{M. Gehrke} et al., Lect. Notes Comput. Sci. 6199, 151--162 (2010; Zbl 1288.68176) Full Text: DOI HAL
Bruun, Hans; Coumans, Dion; Gehrke, Mai Distributive lattice-structured ontologies. (English) Zbl 1239.68029 Kurz, Alexander (ed.) et al., Algebra and coalgebra in computer science. Third international conference, CALCO 2009, Udine, Italy, September 7–10, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-03740-5/pbk). Lecture Notes in Computer Science 5728, 267-283 (2009). MSC: 68P15 06D05 06D50 68T30 PDFBibTeX XMLCite \textit{H. Bruun} et al., Lect. Notes Comput. Sci. 5728, 267--283 (2009; Zbl 1239.68029) Full Text: DOI
Bezhanishvili, Nick; Gehrke, Mai Free Heyting algebras: revisited. (English) Zbl 1238.06007 Kurz, Alexander (ed.) et al., Algebra and coalgebra in computer science. Third international conference, CALCO 2009, Udine, Italy, September 7–10, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-03740-5/pbk). Lecture Notes in Computer Science 5728, 251-266 (2009). MSC: 06D20 03G25 06D50 PDFBibTeX XMLCite \textit{N. Bezhanishvili} and \textit{M. Gehrke}, Lect. Notes Comput. Sci. 5728, 251--266 (2009; Zbl 1238.06007) Full Text: DOI
Gehrke, Mai Stone duality and the recognisable languages over an algebra. (English) Zbl 1239.68047 Kurz, Alexander (ed.) et al., Algebra and coalgebra in computer science. Third international conference, CALCO 2009, Udine, Italy, September 7–10, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-03740-5/pbk). Lecture Notes in Computer Science 5728, 236-250 (2009). MSC: 68Q70 06D50 PDFBibTeX XMLCite \textit{M. Gehrke}, Lect. Notes Comput. Sci. 5728, 236--250 (2009; Zbl 1239.68047) Full Text: DOI
Gehrke, Mai; Grigorieff, Serge; Pin, Jean-Éric Duality and equational theory of regular languages. (English) Zbl 1165.68049 Aceto, Luca (ed.) et al., Automata, languages and programming. 35th international colloquium, ICALP 2008, Reykjavik, Iceland, July 7–11, 2008. Proceedings, Part II. Berlin: Springer (ISBN 978-3-540-70582-6/pbk). Lecture Notes in Computer Science 5126, 246-257 (2008). Reviewer: Magnus Steinby (Turku) MSC: 68Q70 08A70 20M35 06E15 PDFBibTeX XMLCite \textit{M. Gehrke} et al., Lect. Notes Comput. Sci. 5126, 246--257 (2008; Zbl 1165.68049) Full Text: DOI
Gehrke, Mai; Priestley, Hilary A. Canonical extensions and completions of posets and lattices. (English) Zbl 1147.06005 Rep. Math. Logic 43, 133-152 (2008). Reviewer: Dana Piciu (Craiova) MSC: 06B23 06A06 06B05 PDFBibTeX XMLCite \textit{M. Gehrke} and \textit{H. A. Priestley}, Rep. Math. Logic 43, 133--152 (2008; Zbl 1147.06005)
Gehrke, M.; Priestley, H. A. Duality for double quasioperator algebras via their canonical extensions. (English) Zbl 1127.06009 Stud. Log. 86, No. 1, 31-68 (2007). Reviewer: Dimitru Buşneag (Craiova) MSC: 06D50 06D35 18A99 PDFBibTeX XMLCite \textit{M. Gehrke} and \textit{H. A. Priestley}, Stud. Log. 86, No. 1, 31--68 (2007; Zbl 1127.06009) Full Text: DOI
Erné, Marcel; Gehrke, Mai; Pultr, Aleš Complete congruences on topologies and down-set lattices. (English) Zbl 1122.06015 Appl. Categ. Struct. 15, No. 1-2, 163-184 (2007). MSC: 06F30 06D22 54H10 06B10 54G12 PDFBibTeX XMLCite \textit{M. Erné} et al., Appl. Categ. Struct. 15, No. 1--2, 163--184 (2007; Zbl 1122.06015) Full Text: DOI
Gehrke, M.; Priestley, H. A. Canonical extensions of double quasioperator algebras: an algebraic perspective on duality for certain algebras with binary operations. (English) Zbl 1110.06015 J. Pure Appl. Algebra 209, No. 1, 269-290 (2007). MSC: 06D50 06D35 PDFBibTeX XMLCite \textit{M. Gehrke} and \textit{H. A. Priestley}, J. Pure Appl. Algebra 209, No. 1, 269--290 (2007; Zbl 1110.06015) Full Text: DOI
Gehrke, Mai Generalized Kripke frames. (English) Zbl 1115.03013 Stud. Log. 84, No. 2, 241-275 (2006). MSC: 03B47 03C90 PDFBibTeX XMLCite \textit{M. Gehrke}, Stud. Log. 84, No. 2, 241--275 (2006; Zbl 1115.03013) Full Text: DOI
Bezhanishvili, Guram; Gehrke, Mai; Mines, Ray; Morandi, Patrick J. Profinite completions and canonical extensions of Heyting algebras. (English) Zbl 1112.06008 Order 23, No. 2-3, 143-161 (2006). Reviewer: T. S. Blyth (St. Andrews) MSC: 06D20 06D50 06B20 PDFBibTeX XMLCite \textit{G. Bezhanishvili} et al., Order 23, No. 2--3, 143--161 (2006; Zbl 1112.06008) Full Text: DOI
Gehrke, Mai; Harding, John; Venema, Yde MacNeille completions and canonical extensions. (English) Zbl 1083.06009 Trans. Am. Math. Soc. 358, No. 2, 573-590 (2006). MSC: 06B23 06E25 06B20 PDFBibTeX XMLCite \textit{M. Gehrke} et al., Trans. Am. Math. Soc. 358, No. 2, 573--590 (2006; Zbl 1083.06009) Full Text: DOI
Dunn, J. Michael; Gehrke, Mai; Palmigiano, Alessandra Canonical extensions and relational completeness of some substructural logics. (English) Zbl 1101.03021 J. Symb. Log. 70, No. 3, 713-740 (2005). Reviewer: Dana Piciu (Craiova) MSC: 03B47 06A06 06B23 PDFBibTeX XMLCite \textit{J. M. Dunn} et al., J. Symb. Log. 70, No. 3, 713--740 (2005; Zbl 1101.03021) Full Text: DOI
Bezhanishvili, Guram; Gehrke, Mai; Harding, John; Walker, Carol; Walker, Elbert Varieties of algebras in fuzzy set theory. (English) Zbl 1078.08003 Klement, Erich Peter (ed.) et al., Logical, algebraic, analytic and probabilistic aspects of triangular norms. Selected papers from the 24th Linz seminar on fuzzy set theory, Linz, Austria, February 4–8, 2003. Amsterdam: Elsevier (ISBN 0-444-51814-2/hbk). 321-344 (2005). Reviewer: Ketty Peeva (Sofia) MSC: 08A72 03E72 08B05 PDFBibTeX XMLCite \textit{G. Bezhanishvili} et al., in: Logical, algebraic, analytic and probabilistic aspects of triangular norms. Selected papers from the 24th Linz seminar on fuzzy set theory, Linz, Austria, February 4--8, 2003. Amsterdam: Elsevier. 321--344 (2005; Zbl 1078.08003)
Bezhanishvili, Guram; Gehrke, Mai Completeness of S4 with respect to the real line: revisited. (English) Zbl 1066.03032 Ann. Pure Appl. Logic 131, No. 1-3, 287-301 (2005). Reviewer: G. E. Mints (Stanford) MSC: 03B45 06E25 54C10 PDFBibTeX XMLCite \textit{G. Bezhanishvili} and \textit{M. Gehrke}, Ann. Pure Appl. Logic 131, No. 1--3, 287--301 (2005; Zbl 1066.03032) Full Text: DOI
Gehrke, Mai; Nagahashi, Hideo; Venema, Yde A Sahlqvist theorem for distributive modal logic. (English) Zbl 1077.03009 Ann. Pure Appl. Logic 131, No. 1-3, 65-102 (2005). Reviewer: Nick Bezhanishvili (Amsterdam) MSC: 03B45 06D05 PDFBibTeX XMLCite \textit{M. Gehrke} et al., Ann. Pure Appl. Logic 131, No. 1--3, 65--102 (2005; Zbl 1077.03009) Full Text: DOI
Gehrke, M.; Walker, C.; Walker, E. Varieties generated by t-norms. (English) Zbl 1067.03060 Soft Comput. 8, No. 4, 264-267 (2004). MSC: 03E72 03G25 03-02 06B20 PDFBibTeX XMLCite \textit{M. Gehrke} et al., Soft Comput. 8, No. 4, 264--267 (2004; Zbl 1067.03060) Full Text: DOI
Gehrke, Mai; Jónsson, Bjarni Bounded distributive lattice expansions. (English) Zbl 1077.06008 Math. Scand. 94, No. 1, 13-45 (2004). Reviewer: Václav Slavík (Praha) MSC: 06D05 PDFBibTeX XMLCite \textit{M. Gehrke} and \textit{B. Jónsson}, Math. Scand. 94, No. 1, 13--45 (2004; Zbl 1077.06008) Full Text: DOI
van Benthem, Johan; Bezhanishvili, Guram; Gehrke, Mai Euclidean hierarchy in modal logic. (English) Zbl 1034.03020 Stud. Log. 75, No. 3, 327-344 (2003). MSC: 03B45 PDFBibTeX XMLCite \textit{J. van Benthem} et al., Stud. Log. 75, No. 3, 327--344 (2003; Zbl 1034.03020) Full Text: DOI
Gehrke, M.; Walker, C.; Walker, E. Fuzzy logics arising from strict De Morgan systems. (English) Zbl 1055.03015 Rodabaugh, Stephen Ernest (ed.) et al., Topological and algebraic structures in fuzzy sets. A handbook of recent developments in the mathematics of fuzzy sets. Dordrecht: Kluwer Academic Publishers (ISBN 1-4020-1515-1/hbk). Trends Log. Stud. Log. Libr. 20, 257-276 (2003). Reviewer: Vladik Ya. Kreinovich (El Paso) MSC: 03B52 PDFBibTeX XMLCite \textit{M. Gehrke} et al., Trends Log. Stud. Log. Libr. 20, 257--276 (2003; Zbl 1055.03015)
Gehrke, Mai; Walker, Carol L.; Walker, Elbert A. Normal forms and truth tables for fuzzy logics. (English) Zbl 1027.03023 Fuzzy Sets Syst. 138, No. 1, 25-51 (2003). Reviewer: Radko Mesiar (Bratislava) MSC: 03B52 PDFBibTeX XMLCite \textit{M. Gehrke} et al., Fuzzy Sets Syst. 138, No. 1, 25--51 (2003; Zbl 1027.03023) Full Text: DOI
Gehrke, M.; Priestley, H. A. Non-canonicity of MV-algebras. (English) Zbl 1060.06019 Houston J. Math. 28, No. 3, 449-455 (2002). Reviewer: Daniele Mundici (Firenze) MSC: 06D35 PDFBibTeX XMLCite \textit{M. Gehrke} and \textit{H. A. Priestley}, Houston J. Math. 28, No. 3, 449--455 (2002; Zbl 1060.06019)
Gehrke, Mai; Harding, John Bounded lattice expansions. (English) Zbl 0988.06003 J. Algebra 238, No. 1, 345-371 (2001). Reviewer: Václav Slavík (Praha) MSC: 06B05 06B23 PDFBibTeX XMLCite \textit{M. Gehrke} and \textit{J. Harding}, J. Algebra 238, No. 1, 345--371 (2001; Zbl 0988.06003) Full Text: DOI Link
Gehrke, Mai; Jónsson, Bjarni Monotone bounded distributive lattice expansions. (English) Zbl 0972.06005 Math. Jap. 52, No. 2, 197-213 (2000). Reviewer: Manuel Abad (Bahia Blanca) MSC: 06D05 03G10 06B20 PDFBibTeX XMLCite \textit{M. Gehrke} and \textit{B. Jónsson}, Math. Japon. 52, No. 2, 197--213 (2000; Zbl 0972.06005)
Gehrke, M.; Walker, C.; Walker, E. A note on negations and nilpotent t-norms. (English) Zbl 0992.03034 Int. J. Approx. Reasoning 21, No. 2, 137-155 (1999). MSC: 03B52 06D30 03E72 PDFBibTeX XMLCite \textit{M. Gehrke} et al., Int. J. Approx. Reasoning 21, No. 2, 137--155 (1999; Zbl 0992.03034) Full Text: DOI
Gehrke, Mai; Kreinovich, Vladik; Bouchon-Meunier, Bernadette Propositional fuzzy logics: Decidable for some (algebraic) operators; undecidable for more complicated ones. (English) Zbl 0942.03036 Int. J. Intell. Syst. 14, No. 9, 935-947 (1999). Reviewer: M.Matłoka (Poznań) MSC: 03B52 03B25 PDFBibTeX XMLCite \textit{M. Gehrke} et al., Int. J. Intell. Syst. 14, No. 9, 935--947 (1999; Zbl 0942.03036) Full Text: DOI
Gehrke, Mai; Walker, Carol; Walker, Elbert Averaging operators on the unit interval. (English) Zbl 0935.03061 Int. J. Intell. Syst. 14, No. 9, 883-898 (1999). Reviewer: M.Mareš (Praha) MSC: 03E72 PDFBibTeX XMLCite \textit{M. Gehrke} et al., Int. J. Intell. Syst. 14, No. 9, 883--898 (1999; Zbl 0935.03061) Full Text: DOI
Gehrke, Mai; Walker, Carol; Walker, Elbert A mathematical setting for fuzzy logics. (English) Zbl 1232.03016 Int. J. Uncertain. Fuzziness Knowl.-Based Syst. 5, No. 3, 223-238 (1997). MSC: 03B52 03G25 PDFBibTeX XMLCite \textit{M. Gehrke} et al., Int. J. Uncertain. Fuzziness Knowl.-Based Syst. 5, No. 3, 223--238 (1997; Zbl 1232.03016) Full Text: DOI
Gehrke, M.; Walker, C.; Walker, E. Stone algebra extensions with bounded dense sets. (English) Zbl 0902.06016 Algebra Univers. 37, No. 1, 1-23 (1997). Reviewer: R.Halaš (Olomouc) MSC: 06D15 18A40 PDFBibTeX XMLCite \textit{M. Gehrke} et al., Algebra Univers. 37, No. 1, 1--23 (1997; Zbl 0902.06016) Full Text: DOI
Gehrke, Mai; Walker, Carol; Walker, Elbert Some comments on interval valued fuzzy sets. (English) Zbl 0865.04006 Int. J. Intell. Syst. 11, No. 10, 751-759 (1996). Reviewer: M.Mareš (Praha) MSC: 03E72 PDFBibTeX XMLCite \textit{M. Gehrke} et al., Int. J. Intell. Syst. 11, No. 10, 751--759 (1996; Zbl 0865.04006) Full Text: DOI
Gehrke, Mai; Walker, Carol; Walker, Elbert DeMorgan systems on the unit interval. (English) Zbl 0865.04005 Int. J. Intell. Syst. 11, No. 10, 733-750 (1996). Reviewer: M.Mareš (Praha) MSC: 03E72 PDFBibTeX XMLCite \textit{M. Gehrke} et al., Int. J. Intell. Syst. 11, No. 10, 733--750 (1996; Zbl 0865.04005)
Gehrke, Mai; Walker, Elbert Iterating conditionals and symmetric Stone algebras. (English) Zbl 0842.03017 Discrete Math. 148, No. 1-3, 49-63 (1996). Reviewer: L.Esakia (Tbilisi) MSC: 03B48 60A05 06D15 03G05 PDFBibTeX XMLCite \textit{M. Gehrke} and \textit{E. Walker}, Discrete Math. 148, No. 1--3, 49--63 (1996; Zbl 0842.03017) Full Text: DOI
Gehrke, Mai; Jónsson, Bjarni Bounded distributive lattices with operators. (English) Zbl 0855.06009 Math. Jap. 40, No. 2, 207-215 (1994). MSC: 06D05 54F05 06E25 PDFBibTeX XMLCite \textit{M. Gehrke} and \textit{B. Jónsson}, Math. Japon. 40, No. 2, 207--215 (1994; Zbl 0855.06009)
Gehrke, M. Robinson lattices and their spectra. (English) Zbl 0817.03030 Algebra Univers. 32, No. 2, 204-223 (1994). Reviewer: R.A.Herrmann (Annapolis) MSC: 03H05 06D99 PDFBibTeX XMLCite \textit{M. Gehrke}, Algebra Univers. 32, No. 2, 204--223 (1994; Zbl 0817.03030) Full Text: DOI
Deveney, James K.; Finston, David R.; Gehrke, Mai \(G_ a\) actions on \(\mathbb{C}^ n\). (English) Zbl 0817.14029 Commun. Algebra 22, No. 12, 4977-4988 (1994). Reviewer: D.M.Snow (Notre Dame) MSC: 14L30 20G20 14L24 PDFBibTeX XMLCite \textit{J. K. Deveney} et al., Commun. Algebra 22, No. 12, 4977--4988 (1994; Zbl 0817.14029) Full Text: DOI
Gehrke, Mai Uniquely representable posets. (English) Zbl 0913.06002 Andima, Susan (ed.) et al., Papers on general topology and applications. Papers from the 8th summer conference at Queens College, New York, NY, USA, June 18–20, 1992. New York, NY: The New York Academy of Sciences. Ann. N. Y. Acad. Sci. 728, 32-40 (1994). MSC: 06A06 06F30 06B35 06D05 PDFBibTeX XMLCite \textit{M. Gehrke}, in: Papers on general topology and applications. Papers from the 8th summer conference at Queens College, New York, NY, USA, June 18--20, 1992. New York, NY: The New York Academy of Sciences. 32--40 (1994; Zbl 0913.06002)
Gehrke, Mai; Walker, Elbert On the structure of rough sets. (English) Zbl 0778.04002 Bull. Pol. Acad. Sci., Math. 40, No. 3, 235-245 (1992). MSC: 03E99 06D99 PDFBibTeX XMLCite \textit{M. Gehrke} and \textit{E. Walker}, Bull. Pol. Acad. Sci., Math. 40, No. 3, 235--245 (1992; Zbl 0778.04002)
Gehrke, Mai The order structure of Stone spaces and the \(T_ D\)-separation axiom. (English) Zbl 0753.06010 Z. Math. Logik Grundlagen Math. 37, No. 1, 5-15 (1991). Reviewer: P.T.Johnstone (Cambridge) MSC: 06D05 54D10 03C85 06E15 54F05 PDFBibTeX XMLCite \textit{M. Gehrke}, Z. Math. Logik Grundlagen Math. 37, No. 1, 5--15 (1991; Zbl 0753.06010) Full Text: DOI
Gehrke, Mai; Insall, Matt; Kaiser, Klaus Some nonstandard methods applied to distributive lattices. (English) Zbl 0711.03031 Z. Math. Logik Grundlagen Math. 36, No. 2, 123-131 (1990). Reviewer: R.A.Herrmann MSC: 03H05 06D99 PDFBibTeX XMLCite \textit{M. Gehrke} et al., Z. Math. Logik Grundlagen Math. 36, No. 2, 123--131 (1990; Zbl 0711.03031) Full Text: DOI
Gehrke, Mai; Kaiser, Klaus On the maximality of some conormal extensions of a lattice. (English) Zbl 0623.06004 Z. Math. Logik Grundlagen Math. 33, 13-18 (1987). MSC: 06D05 06E15 54D10 06B10 PDFBibTeX XMLCite \textit{M. Gehrke} and \textit{K. Kaiser}, Z. Math. Logik Grundlagen Math. 33, 13--18 (1987; Zbl 0623.06004) Full Text: DOI