×
Compute Distance To:
Author ID: gehrke.mai Recent zbMATH articles by "Gehrke, Mai"
Published as: Gehrke, Mai; Gehrke, M.

Publications by Year

Citations contained in zbMATH Open

58 Publications have been cited 764 times in 383 Documents Cited by Year
Bounded lattice expansions. Zbl 0988.06003
Gehrke, Mai; Harding, John
85
2001
Bounded distributive lattice expansions. Zbl 1077.06008
Gehrke, Mai; Jónsson, Bjarni
54
2004
Bounded distributive lattices with operators. Zbl 0855.06009
Gehrke, Mai; Jónsson, Bjarni
53
1994
Canonical extensions and relational completeness of some substructural logics. Zbl 1101.03021
Dunn, J. Michael; Gehrke, Mai; Palmigiano, Alessandra
49
2005
Some comments on interval valued fuzzy sets. Zbl 0865.04006
Gehrke, Mai; Walker, Carol; Walker, Elbert
44
1996
A Sahlqvist theorem for distributive modal logic. Zbl 1077.03009
Gehrke, Mai; Nagahashi, Hideo; Venema, Yde
40
2005
Duality and equational theory of regular languages. Zbl 1165.68049
Gehrke, Mai; Grigorieff, Serge; Pin, Jean-Éric
37
2008
Generalized Kripke frames. Zbl 1115.03013
Gehrke, Mai
32
2006
MacNeille completions and canonical extensions. Zbl 1083.06009
Gehrke, Mai; Harding, John; Venema, Yde
21
2006
Monotone bounded distributive lattice expansions. Zbl 0972.06005
Gehrke, Mai; Jónsson, Bjarni
20
2000
On the structure of rough sets. Zbl 0778.04002
Gehrke, Mai; Walker, Elbert
18
1992
DeMorgan systems on the unit interval. Zbl 0865.04005
Gehrke, Mai; Walker, Carol; Walker, Elbert
18
1996
Completeness of S4 with respect to the real line: revisited. Zbl 1066.03032
Bezhanishvili, Guram; Gehrke, Mai
17
2005
Profinite completions and canonical extensions of Heyting algebras. Zbl 1112.06008
Bezhanishvili, Guram; Gehrke, Mai; Mines, Ray; Morandi, Patrick J.
17
2006
Canonical extensions, Esakia spaces, and universal models. Zbl 1350.03050
Gehrke, Mai
16
2014
Canonical extensions of double quasioperator algebras: an algebraic perspective on duality for certain algebras with binary operations. Zbl 1110.06015
Gehrke, M.; Priestley, H. A.
14
2007
A mathematical setting for fuzzy logics. Zbl 1232.03016
Gehrke, Mai; Walker, Carol; Walker, Elbert
14
1997
Canonical extensions and completions of posets and lattices. Zbl 1147.06005
Gehrke, Mai; Priestley, Hilary A.
12
2008
Duality for double quasioperator algebras via their canonical extensions. Zbl 1127.06009
Gehrke, M.; Priestley, H. A.
12
2007
Sheaf representations of MV-algebras and lattice-ordered abelian groups via duality. Zbl 1300.06001
Gehrke, Mai; van Gool, Samuel J.; Marra, Vincenzo
12
2014
Euclidean hierarchy in modal logic. Zbl 1034.03020
van Benthem, Johan; Bezhanishvili, Guram; Gehrke, Mai
11
2003
\(G_ a\) actions on \(\mathbb{C}^ n\). Zbl 0817.14029
Deveney, James K.; Finston, David R.; Gehrke, Mai
11
1994
A view of canonical extension. Zbl 1341.03095
Gehrke, Mai; Vosmaer, Jacob
10
2011
\(\Delta_1\)-completions of a poset. Zbl 1317.06002
Gehrke, Mai; Jansana, Ramon; Palmigiano, Alessandra
10
2013
A non-commutative Priestley duality. Zbl 1307.06008
Bauer, Andrej; Cvetko-Vah, Karin; Gehrke, Mai; van Gool, Samuel J.; Kudryavtseva, Ganna
9
2013
A topological approach to recognition. Zbl 1288.68176
Gehrke, Mai; Grigorieff, Serge; Pin, Jean-Éric
9
2010
Normal forms and truth tables for fuzzy logics. Zbl 1027.03023
Gehrke, Mai; Walker, Carol L.; Walker, Elbert A.
8
2003
Stone duality and the recognisable languages over an algebra. Zbl 1239.68047
Gehrke, Mai
8
2009
Canonical extensions for congruential logics with the deduction theorem. Zbl 1238.03051
Gehrke, Mai; Jansana, Ramon; Palmigiano, Alessandra
8
2010
Stone duality, topological algebra, and recognition. Zbl 1339.06012
Gehrke, Mai
8
2016
Non-canonicity of MV-algebras. Zbl 1060.06019
Gehrke, M.; Priestley, H. A.
7
2002
The order structure of Stone spaces and the \(T_ D\)-separation axiom. Zbl 0753.06010
Gehrke, Mai
7
1991
Finitely generated free Heyting algebras via Birkhoff duality and coalgebra. Zbl 1229.06003
Bezhanishvili, Nick; Gehrke, Mai
6
2011
Generalized Kripke semantics for the Lambek-Grishin calculus. Zbl 1301.03025
Chernilovskaya, Anna; Gehrke, Mai; van Rooijen, Lorijn
6
2012
Relational semantics for full linear logic. Zbl 1335.03063
Coumans, Dion; Gehrke, Mai; van Rooijen, Lorijn
6
2014
The Schützenberger product for syntactic spaces. Zbl 1388.68193
Gehrke, Mai; Petrisan, Daniela; Reggio, Luca
5
2016
Complete congruences on topologies and down-set lattices. Zbl 1122.06015
Erné, Marcel; Gehrke, Mai; Pultr, Aleš
4
2007
Distributive envelopes and topological duality for lattices via canonical extensions. Zbl 1309.06004
Gehrke, Mai; van Gool, Samuel J.
4
2014
Uniform Birkhoff. Zbl 06825569
Gehrke, Mai; Pinsker, Michael
4
2018
Fuzzy logics arising from strict De Morgan systems. Zbl 1055.03015
Gehrke, M.; Walker, C.; Walker, E.
3
2003
Duality and recognition. Zbl 1343.68158
Gehrke, Mai
3
2011
Sheaves and duality. Zbl 06859152
Gehrke, Mai; v. Gool, Samuel J.
3
2018
Loader and Urzyczyn are logically related. Zbl 1367.03032
Salvati, Sylvain; Manzonetto, Giulio; Gehrke, Mai; Barendregt, Henk
3
2012
Quantifiers on languages and codensity monads. Zbl 1458.68124
Gehrke, Mai; Petrişan, Daniela; Reggio, Luca
3
2017
Averaging operators on the unit interval. Zbl 0935.03061
Gehrke, Mai; Walker, Carol; Walker, Elbert
2
1999
Canonical extensions and canonicity via dcpo presentations. Zbl 1231.06013
Gehrke, Mai; Vosmaer, Jacob
2
2011
A note on negations and nilpotent t-norms. Zbl 0992.03034
Gehrke, M.; Walker, C.; Walker, E.
2
1999
From ultrafilters on words to the expressive power of a fragment of logic. Zbl 1332.68148
Gehrke, Mai; Krebs, Andreas; Pin, Jean-Éric
2
2014
Distributive lattice-structured ontologies. Zbl 1239.68029
Bruun, Hans; Coumans, Dion; Gehrke, Mai
2
2009
Some nonstandard methods applied to distributive lattices. Zbl 0711.03031
Gehrke, Mai; Insall, Matt; Kaiser, Klaus
2
1990
Ultrafilters on words for a fragment of logic. Zbl 1332.68149
Gehrke, Mai; Krebs, Andreas; Pin, Jean-Éric
2
2016
Canonical extensions: an algebraic approach to Stone duality. Zbl 1472.06016
Gehrke, Mai
2
2018
A duality theoretic view on limits of finite structures. Zbl 07250944
Gehrke, Mai; Jakl, Tomáš; Reggio, Luca
2
2020
Robinson lattices and their spectra. Zbl 0817.03030
Gehrke, M.
1
1994
Varieties generated by t-norms. Zbl 1067.03060
Gehrke, M.; Walker, C.; Walker, E.
1
2004
On the maximality of some conormal extensions of a lattice. Zbl 0623.06004
Gehrke, Mai; Kaiser, Klaus
1
1987
Difference hierarchies and duality with an application to formal languages. Zbl 1477.06040
Borlido, Célia; Gehrke, Mai; Krebs, Andreas; Straubing, Howard
1
2020
Quantifiers on languages and codensity monads. Zbl 07382045
Gehrke, Mai; Petrişan, Daniela; Reggio, Luca
1
2020
A duality theoretic view on limits of finite structures. Zbl 07250944
Gehrke, Mai; Jakl, Tomáš; Reggio, Luca
2
2020
Difference hierarchies and duality with an application to formal languages. Zbl 1477.06040
Borlido, Célia; Gehrke, Mai; Krebs, Andreas; Straubing, Howard
1
2020
Quantifiers on languages and codensity monads. Zbl 07382045
Gehrke, Mai; Petrişan, Daniela; Reggio, Luca
1
2020
Uniform Birkhoff. Zbl 06825569
Gehrke, Mai; Pinsker, Michael
4
2018
Sheaves and duality. Zbl 06859152
Gehrke, Mai; v. Gool, Samuel J.
3
2018
Canonical extensions: an algebraic approach to Stone duality. Zbl 1472.06016
Gehrke, Mai
2
2018
Quantifiers on languages and codensity monads. Zbl 1458.68124
Gehrke, Mai; Petrişan, Daniela; Reggio, Luca
3
2017
Stone duality, topological algebra, and recognition. Zbl 1339.06012
Gehrke, Mai
8
2016
The Schützenberger product for syntactic spaces. Zbl 1388.68193
Gehrke, Mai; Petrisan, Daniela; Reggio, Luca
5
2016
Ultrafilters on words for a fragment of logic. Zbl 1332.68149
Gehrke, Mai; Krebs, Andreas; Pin, Jean-Éric
2
2016
Canonical extensions, Esakia spaces, and universal models. Zbl 1350.03050
Gehrke, Mai
16
2014
Sheaf representations of MV-algebras and lattice-ordered abelian groups via duality. Zbl 1300.06001
Gehrke, Mai; van Gool, Samuel J.; Marra, Vincenzo
12
2014
Relational semantics for full linear logic. Zbl 1335.03063
Coumans, Dion; Gehrke, Mai; van Rooijen, Lorijn
6
2014
Distributive envelopes and topological duality for lattices via canonical extensions. Zbl 1309.06004
Gehrke, Mai; van Gool, Samuel J.
4
2014
From ultrafilters on words to the expressive power of a fragment of logic. Zbl 1332.68148
Gehrke, Mai; Krebs, Andreas; Pin, Jean-Éric
2
2014
\(\Delta_1\)-completions of a poset. Zbl 1317.06002
Gehrke, Mai; Jansana, Ramon; Palmigiano, Alessandra
10
2013
A non-commutative Priestley duality. Zbl 1307.06008
Bauer, Andrej; Cvetko-Vah, Karin; Gehrke, Mai; van Gool, Samuel J.; Kudryavtseva, Ganna
9
2013
Generalized Kripke semantics for the Lambek-Grishin calculus. Zbl 1301.03025
Chernilovskaya, Anna; Gehrke, Mai; van Rooijen, Lorijn
6
2012
Loader and Urzyczyn are logically related. Zbl 1367.03032
Salvati, Sylvain; Manzonetto, Giulio; Gehrke, Mai; Barendregt, Henk
3
2012
A view of canonical extension. Zbl 1341.03095
Gehrke, Mai; Vosmaer, Jacob
10
2011
Finitely generated free Heyting algebras via Birkhoff duality and coalgebra. Zbl 1229.06003
Bezhanishvili, Nick; Gehrke, Mai
6
2011
Duality and recognition. Zbl 1343.68158
Gehrke, Mai
3
2011
Canonical extensions and canonicity via dcpo presentations. Zbl 1231.06013
Gehrke, Mai; Vosmaer, Jacob
2
2011
A topological approach to recognition. Zbl 1288.68176
Gehrke, Mai; Grigorieff, Serge; Pin, Jean-Éric
9
2010
Canonical extensions for congruential logics with the deduction theorem. Zbl 1238.03051
Gehrke, Mai; Jansana, Ramon; Palmigiano, Alessandra
8
2010
Stone duality and the recognisable languages over an algebra. Zbl 1239.68047
Gehrke, Mai
8
2009
Distributive lattice-structured ontologies. Zbl 1239.68029
Bruun, Hans; Coumans, Dion; Gehrke, Mai
2
2009
Duality and equational theory of regular languages. Zbl 1165.68049
Gehrke, Mai; Grigorieff, Serge; Pin, Jean-Éric
37
2008
Canonical extensions and completions of posets and lattices. Zbl 1147.06005
Gehrke, Mai; Priestley, Hilary A.
12
2008
Canonical extensions of double quasioperator algebras: an algebraic perspective on duality for certain algebras with binary operations. Zbl 1110.06015
Gehrke, M.; Priestley, H. A.
14
2007
Duality for double quasioperator algebras via their canonical extensions. Zbl 1127.06009
Gehrke, M.; Priestley, H. A.
12
2007
Complete congruences on topologies and down-set lattices. Zbl 1122.06015
Erné, Marcel; Gehrke, Mai; Pultr, Aleš
4
2007
Generalized Kripke frames. Zbl 1115.03013
Gehrke, Mai
32
2006
MacNeille completions and canonical extensions. Zbl 1083.06009
Gehrke, Mai; Harding, John; Venema, Yde
21
2006
Profinite completions and canonical extensions of Heyting algebras. Zbl 1112.06008
Bezhanishvili, Guram; Gehrke, Mai; Mines, Ray; Morandi, Patrick J.
17
2006
Canonical extensions and relational completeness of some substructural logics. Zbl 1101.03021
Dunn, J. Michael; Gehrke, Mai; Palmigiano, Alessandra
49
2005
A Sahlqvist theorem for distributive modal logic. Zbl 1077.03009
Gehrke, Mai; Nagahashi, Hideo; Venema, Yde
40
2005
Completeness of S4 with respect to the real line: revisited. Zbl 1066.03032
Bezhanishvili, Guram; Gehrke, Mai
17
2005
Bounded distributive lattice expansions. Zbl 1077.06008
Gehrke, Mai; Jónsson, Bjarni
54
2004
Varieties generated by t-norms. Zbl 1067.03060
Gehrke, M.; Walker, C.; Walker, E.
1
2004
Euclidean hierarchy in modal logic. Zbl 1034.03020
van Benthem, Johan; Bezhanishvili, Guram; Gehrke, Mai
11
2003
Normal forms and truth tables for fuzzy logics. Zbl 1027.03023
Gehrke, Mai; Walker, Carol L.; Walker, Elbert A.
8
2003
Fuzzy logics arising from strict De Morgan systems. Zbl 1055.03015
Gehrke, M.; Walker, C.; Walker, E.
3
2003
Non-canonicity of MV-algebras. Zbl 1060.06019
Gehrke, M.; Priestley, H. A.
7
2002
Bounded lattice expansions. Zbl 0988.06003
Gehrke, Mai; Harding, John
85
2001
Monotone bounded distributive lattice expansions. Zbl 0972.06005
Gehrke, Mai; Jónsson, Bjarni
20
2000
Averaging operators on the unit interval. Zbl 0935.03061
Gehrke, Mai; Walker, Carol; Walker, Elbert
2
1999
A note on negations and nilpotent t-norms. Zbl 0992.03034
Gehrke, M.; Walker, C.; Walker, E.
2
1999
A mathematical setting for fuzzy logics. Zbl 1232.03016
Gehrke, Mai; Walker, Carol; Walker, Elbert
14
1997
Some comments on interval valued fuzzy sets. Zbl 0865.04006
Gehrke, Mai; Walker, Carol; Walker, Elbert
44
1996
DeMorgan systems on the unit interval. Zbl 0865.04005
Gehrke, Mai; Walker, Carol; Walker, Elbert
18
1996
Bounded distributive lattices with operators. Zbl 0855.06009
Gehrke, Mai; Jónsson, Bjarni
53
1994
\(G_ a\) actions on \(\mathbb{C}^ n\). Zbl 0817.14029
Deveney, James K.; Finston, David R.; Gehrke, Mai
11
1994
Robinson lattices and their spectra. Zbl 0817.03030
Gehrke, M.
1
1994
On the structure of rough sets. Zbl 0778.04002
Gehrke, Mai; Walker, Elbert
18
1992
The order structure of Stone spaces and the \(T_ D\)-separation axiom. Zbl 0753.06010
Gehrke, Mai
7
1991
Some nonstandard methods applied to distributive lattices. Zbl 0711.03031
Gehrke, Mai; Insall, Matt; Kaiser, Klaus
2
1990
On the maximality of some conormal extensions of a lattice. Zbl 0623.06004
Gehrke, Mai; Kaiser, Klaus
1
1987
all top 5

Cited by 364 Authors

33 Gehrke, Mai
27 Bezhanishvili, Guram
17 Palmigiano, Alessandra
15 Walker, Elbert Abner
14 Bezhanishvili, Nick
14 Walker, Carol L.
12 Bedregal, Benjamín René Callejas
12 Harding, John
12 Priestley, Hilary A.
10 Deschrijver, Glad
9 Conradie, Willem
9 Jansana, Ramon
9 van Gool, Samuel Jacob
8 Finston, David Robert
8 Haviar, Miroslav
7 Celani, Sergio Arturo
7 Cornelis, Chris
7 Gabelaia, David
7 Lucero-Bryan, Joel Gregory
6 Cabrer, Leonardo Manuel
6 Davey, Brian A.
6 Gouveia, Maria João
6 Hartonas, Chrysafis
6 Kerre, Etienne E.
6 Morandi, Patrick J.
5 Castiglioni, José Luis
5 Deveney, James Kevin
5 Jipsen, Peter
5 Radeleczki, Sándor
5 Reggio, Luca
5 Reiser, Renata Hax Sander
5 Rivieccio, Umberto
5 San Martín, Hernán Javier
5 Urbat, Henning
5 van Mill, Jan
4 Dimuro, Graçaliz Pereira
4 Goldblatt, Robert Ian
4 Greco, Giuseppe
4 Marra, Vincenzo
4 Mclean, Brett
4 Metcalfe, George
4 Milius, Stefan
4 Moraschini, Tommaso
4 Pinsker, Michael
4 Sadrzadeh, Mehrnoosh
4 Suzuki, Tomoyuki
4 Teheux, Bruno
4 Tzimoulis, Apostolos
4 Van Gasse, Bart
3 Adámek, Jiří
3 Bonsangue, Marcello Maria
3 Borlido, Célia
3 Chen, Liang-Ting
3 Coumans, Dion C. S.
3 Craig, Andrew P. K.
3 Cvetko-Vah, Karin
3 Fussner, Wesley
3 Galatos, Nikolaos
3 Ghilardi, Silvio
3 González, Luciano Javier
3 Hodkinson, Ian Martin
3 Hu, Baoqing
3 Jakl, Tomáš
3 Järvinen, Jouni
3 Krebs, Andreas
3 Kurz, Alexander
3 Lando, Tamar
3 Lauridsen, Frederik Möllerström
3 Leech, Jonathan E.
3 Maruyama, Yoshihiro
3 Mislove, Michael W.
3 Moshier, M. Andrew
3 Mundici, Daniele
3 Nguyen, Hung Trung
3 Pin, Jean-Eric
3 Rutten, Jan J. M. M.
3 Santocanale, Luigi
3 Venema, Yde
3 Vosmaer, Jacob
3 Wijnberg, Nachoem M.
2 Aslanyan, Vahagn A.
2 Ballester-Bolinches, Adolfo
2 Barto, Libor
2 Bustince, Humberto
2 Calvo, Tomasa
2 Cao, Meng
2 Cosme-Llópez, Enric
2 Dahlqvist, Fredrik
2 Dai, Jianhua
2 Darnière, Luck
2 Daviaud, Laure
2 De Baets, Bernard
2 De Groot, Jim
2 Dubouloz, Adrien
2 Dunn, Jon Michael
2 Dyckhoff, Roy
2 Fernández Duque, David
2 Frittella, Sabine
2 Gégény, Dávid
2 Goranko, Valentin F.
...and 264 more Authors
all top 5

Cited in 70 Serials

40 Algebra Universalis
27 Fuzzy Sets and Systems
22 Studia Logica
20 Information Sciences
19 Annals of Pure and Applied Logic
15 International Journal of Approximate Reasoning
14 Journal of Pure and Applied Algebra
14 Order
12 Theoretical Computer Science
10 The Journal of Symbolic Logic
9 Topology and its Applications
9 Logical Methods in Computer Science
8 Archive for Mathematical Logic
7 Soft Computing
7 The Review of Symbolic Logic
6 Journal of Algebra
6 Journal of Philosophical Logic
6 International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems
5 Information and Computation
5 Applied Categorical Structures
5 Journal of Logical and Algebraic Methods in Programming
4 International Journal of Intelligent Systems
4 International Journal of Algebra and Computation
4 Journal of Applied Non-Classical Logics
3 Transactions of the American Mathematical Society
3 MSCS. Mathematical Structures in Computer Science
3 Central European Journal of Mathematics
2 Israel Journal of Mathematics
2 Demonstratio Mathematica
2 International Journal of Mathematics and Mathematical Sciences
2 Kybernetika
2 Notre Dame Journal of Formal Logic
2 Proceedings of the American Mathematical Society
2 Forum Mathematicum
2 Journal of the Australian Mathematical Society
2 ACM Transactions on Computational Logic
2 Journal of Algebra and its Applications
2 Logica Universalis
1 Communications in Algebra
1 Computers & Mathematics with Applications
1 Journal of Mathematical Analysis and Applications
1 Rocky Mountain Journal of Mathematics
1 Beiträge zur Algebra und Geometrie
1 Advances in Mathematics
1 Algebra and Logic
1 Journal of Computer and System Sciences
1 Mathematica Slovaca
1 Mathematische Zeitschrift
1 Semigroup Forum
1 Synthese
1 European Journal of Combinatorics
1 Journal of Symbolic Computation
1 International Journal of Computer Mathematics
1 Computational Statistics and Data Analysis
1 Indagationes Mathematicae. New Series
1 Journal of Logic, Language and Information
1 Computational and Applied Mathematics
1 Mathematical Logic Quarterly (MLQ)
1 The Bulletin of Symbolic Logic
1 Transformation Groups
1 Journal of Mathematical Logic
1 Fundamenta Informaticae
1 Journal of Intelligent and Fuzzy Systems
1 Journal of Applied Logic
1 Fuzzy Optimization and Decision Making
1 Iranian Journal of Fuzzy Systems
1 Algebra & Number Theory
1 Journal of Logic and Analysis
1 Formalized Mathematics
1 Journal of Function Spaces

Citations by Year