Edit Profile (opens in new tab) Gehrke, Mai Compute Distance To: Compute Author ID: gehrke.mai Published as: Gehrke, Mai; Gehrke, M. Documents Indexed: 69 Publications since 1987 1 Contribution as Editor · 1 Further Contribution Reviewing Activity: 1 Review Co-Authors: 50 Co-Authors with 60 Joint Publications 1,217 Co-Co-Authors all top 5 Co-Authors 10 single-authored 12 Walker, Elbert Abner 10 Walker, Carol L. 5 Reggio, Luca 5 van Gool, Samuel Jacob 4 Bezhanishvili, Guram 4 Krebs, Andreas 4 Pin, Jean-Eric 4 Priestley, Hilary A. 3 Harding, John 3 Jónsson, Bjarni 3 Palmigiano, Alessandra 3 Petrisan, Daniela Luan 2 Bezhanishvili, Nick 2 Borlido, Célia 2 Coumans, Dion C. S. 2 Grigorieff, Serge 2 Jakl, Tomáš 2 Jansana, Ramon 2 Kaiser, Klaus Hermann 2 Marra, Vincenzo 2 van Rooijen, Lorijn 2 Venema, Yde 2 Vosmaer, Jacob 1 Barendregt, Hendrik Pieter 1 Bauer, Andrej 1 Berger, Clemens 1 Bouchon-Meunier, Bernadette 1 Bruun, Hans 1 Caferra, Ricardo 1 Chernilovskaya, Anna 1 Cvetko-Vah, Karin 1 Czarnetzki, Silke 1 Deveney, James Kevin 1 Dirlich, G. 1 Dunn, Jon Michael 1 Eiselt, K. P. 1 Emde, Werner 1 Erné, Marcel 1 Fahrenberg, Uli 1 Finston, David Robert 1 Freksa, Christian 1 Frey, William H. 1 Fronhöfer, Bertram 1 Furbach, Ulrich 1 Fussner, Wesley 1 Ganascia, Jean-Gabriel 1 Granger, R. H. 1 Holbrook, J. K. 1 Insall, Matt 1 Kilbury, J. 1 Kobsa, Alfred 1 Kodratoff, Yves 1 Kreinovich, Vladik Yakovlevich 1 Kudryavtseva, Ganna 1 Laubsch, Joachim 1 Luck, K.v. 1 Manzonetto, Giulio 1 Mines, Ray 1 Morandi, Patrick J. 1 Nagahashi, Hideo 1 Novak, H. J. 1 Owsnicki, B. 1 Pinsker, Michael 1 Pultr, Aleš 1 Puppe, B. 1 Puppe, Frank 1 Radig, Bernd 1 Salvati, Sylvain 1 Santocanale, Luigi 1 1 Schwind, Camilla B. 1 Steels, Luc 1 Straubing, Howard 1 Tzeng, Chun-Hung 1 van Benthem, Johan F. A. K. all top 5 Serials 5 Journal of Pure and Applied Algebra 4 International Journal of Intelligent Systems 3 Algebra Universalis 3 Studia Logica 3 Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 3 Annals of Pure and Applied Logic 3 Order 2 Journal of Algebra 2 Mathematica Japonica 2 Theoretical Computer Science 2 Topology and its Applications 2 Logical Methods in Computer Science 1 Communications in Algebra 1 Discrete Mathematics 1 Houston Journal of Mathematics 1 Fuzzy Sets and Systems 1 The Journal of Symbolic Logic 1 Mathematica Scandinavica 1 Reports on Mathematical Logic 1 Transactions of the American Mathematical Society 1 International Journal of Approximate Reasoning 1 Forum Mathematicum 1 MSCS. Mathematical Structures in Computer Science 1 Bulletin of the Polish Academy of Sciences, Mathematics 1 Applied Categorical Structures 1 Logic Journal of the IGPL 1 Soft Computing 1 International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 1 Journal of Applied Logic 1 Informatik-Fachberichte 1 Lecture Notes in Computer Science all top 5 Fields 51 Order, lattices, ordered algebraic structures (06-XX) 38 Mathematical logic and foundations (03-XX) 18 Computer science (68-XX) 8 Category theory; homological algebra (18-XX) 8 General topology (54-XX) 7 Group theory and generalizations (20-XX) 3 General algebraic systems (08-XX) 1 General and overarching topics; collections (00-XX) 1 Algebraic geometry (14-XX) 1 Associative rings and algebras (16-XX) 1 Topological groups, Lie groups (22-XX) 1 Probability theory and stochastic processes (60-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 60 Publications have been cited 815 times in 406 Documents Cited by ▼ Year ▼ Bounded lattice expansions. Zbl 0988.06003Gehrke, Mai; Harding, John 89 2001 Bounded distributive lattice expansions. Zbl 1077.06008Gehrke, Mai; Jónsson, Bjarni 57 2004 Bounded distributive lattices with operators. Zbl 0855.06009Gehrke, Mai; Jónsson, Bjarni 55 1994 Canonical extensions and relational completeness of some substructural logics. Zbl 1101.03021Dunn, J. Michael; Gehrke, Mai; Palmigiano, Alessandra 53 2005 Some comments on interval valued fuzzy sets. Zbl 0865.04006Gehrke, Mai; Walker, Carol; Walker, Elbert 48 1996 Duality and equational theory of regular languages. Zbl 1165.68049Gehrke, Mai; Grigorieff, Serge; Pin, Jean-Éric 44 2008 A Sahlqvist theorem for distributive modal logic. Zbl 1077.03009Gehrke, Mai; Nagahashi, Hideo; Venema, Yde 41 2005 Generalized Kripke frames. Zbl 1115.03013Gehrke, Mai 35 2006 Monotone bounded distributive lattice expansions. Zbl 0972.06005Gehrke, Mai; Jónsson, Bjarni 21 2000 MacNeille completions and canonical extensions. Zbl 1083.06009Gehrke, Mai; Harding, John; Venema, Yde 21 2006 On the structure of rough sets. Zbl 0778.04002Gehrke, Mai; Walker, Elbert 19 1992 DeMorgan systems on the unit interval. Zbl 0865.04005Gehrke, Mai; Walker, Carol; Walker, Elbert 18 1996 Completeness of S4 with respect to the real line: revisited. Zbl 1066.03032Bezhanishvili, Guram; Gehrke, Mai 18 2005 Profinite completions and canonical extensions of Heyting algebras. Zbl 1112.06008Bezhanishvili, Guram; Gehrke, Mai; Mines, Ray; Morandi, Patrick J. 17 2006 Canonical extensions, Esakia spaces, and universal models. Zbl 1350.03050Gehrke, Mai 17 2014 Canonical extensions of double quasioperator algebras: an algebraic perspective on duality for certain algebras with binary operations. Zbl 1110.06015Gehrke, M.; Priestley, H. A. 15 2007 A mathematical setting for fuzzy logics. Zbl 1232.03016Gehrke, Mai; Walker, Carol; Walker, Elbert 14 1997 Sheaf representations of MV-algebras and lattice-ordered abelian groups via duality. Zbl 1300.06001Gehrke, Mai; van Gool, Samuel J.; Marra, Vincenzo 13 2014 Canonical extensions and completions of posets and lattices. Zbl 1147.06005Gehrke, Mai; Priestley, Hilary A. 13 2008 Duality for double quasioperator algebras via their canonical extensions. Zbl 1127.06009Gehrke, M.; Priestley, H. A. 12 2007 \(\Delta_1\)-completions of a poset. Zbl 1317.06002Gehrke, Mai; Jansana, Ramon; Palmigiano, Alessandra 12 2013 \(G_ a\) actions on \(\mathbb{C}^ n\). Zbl 0817.14029Deveney, James K.; Finston, David R.; Gehrke, Mai 11 1994 Euclidean hierarchy in modal logic. Zbl 1034.03020van Benthem, Johan; Bezhanishvili, Guram; Gehrke, Mai 11 2003 A topological approach to recognition. Zbl 1288.68176Gehrke, Mai; Grigorieff, Serge; Pin, Jean-Éric 11 2010 A non-commutative Priestley duality. Zbl 1307.06008Bauer, Andrej; Cvetko-Vah, Karin; Gehrke, Mai; van Gool, Samuel J.; Kudryavtseva, Ganna 10 2013 A view of canonical extension. Zbl 1341.03095Gehrke, Mai; Vosmaer, Jacob 10 2011 Stone duality, topological algebra, and recognition. Zbl 1339.06012Gehrke, Mai 9 2016 Relational semantics for full linear logic. Zbl 1335.03063Coumans, Dion; Gehrke, Mai; van Rooijen, Lorijn 8 2014 Normal forms and truth tables for fuzzy logics. Zbl 1027.03023Gehrke, Mai; Walker, Carol L.; Walker, Elbert A. 8 2003 Stone duality and the recognisable languages over an algebra. Zbl 1239.68047Gehrke, Mai 8 2009 Canonical extensions for congruential logics with the deduction theorem. Zbl 1238.03051Gehrke, Mai; Jansana, Ramon; Palmigiano, Alessandra 8 2010 The order structure of Stone spaces and the \(T_ D\)-separation axiom. Zbl 0753.06010Gehrke, Mai 7 1991 Non-canonicity of MV-algebras. Zbl 1060.06019Gehrke, M.; Priestley, H. A. 7 2002 Generalized Kripke semantics for the Lambek-Grishin calculus. Zbl 1301.03025Chernilovskaya, Anna; Gehrke, Mai; van Rooijen, Lorijn 7 2012 Finitely generated free Heyting algebras via Birkhoff duality and coalgebra. Zbl 1229.06003Bezhanishvili, Nick; Gehrke, Mai 6 2011 Complete congruences on topologies and down-set lattices. Zbl 1122.06015Erné, Marcel; Gehrke, Mai; Pultr, Aleš 5 2007 Uniform Birkhoff. Zbl 06825569Gehrke, Mai; Pinsker, Michael 5 2018 Distributive envelopes and topological duality for lattices via canonical extensions. Zbl 1309.06004Gehrke, Mai; van Gool, Samuel J. 5 2014 The Schützenberger product for syntactic spaces. Zbl 1388.68193Gehrke, Mai; Petrisan, Daniela; Reggio, Luca 5 2016 Sheaves and duality. Zbl 06859152Gehrke, Mai; v. Gool, Samuel J. 4 2018 Fuzzy logics arising from strict De Morgan systems. Zbl 1055.03015Gehrke, M.; Walker, C.; Walker, E. 3 2003 Loader and Urzyczyn are logically related. Zbl 1367.03032Salvati, Sylvain; Manzonetto, Giulio; Gehrke, Mai; Barendregt, Henk 3 2012 Quantifiers on languages and codensity monads. Zbl 1458.68124Gehrke, Mai; Petrişan, Daniela; Reggio, Luca 3 2017 Duality and recognition. Zbl 1343.68158Gehrke, Mai 3 2011 Difference hierarchies and duality with an application to formal languages. Zbl 1477.06040Borlido, Célia; Gehrke, Mai; Krebs, Andreas; Straubing, Howard 2 2020 A note on negations and nilpotent t-norms. Zbl 0992.03034Gehrke, M.; Walker, C.; Walker, E. 2 1999 Varieties generated by t-norms. Zbl 1067.03060Gehrke, M.; Walker, C.; Walker, E. 2 2004 Ultrafilters on words for a fragment of logic. Zbl 1332.68149Gehrke, Mai; Krebs, Andreas; Pin, Jean-Éric 2 2016 Averaging operators on the unit interval. Zbl 0935.03061Gehrke, Mai; Walker, Carol; Walker, Elbert 2 1999 Some nonstandard methods applied to distributive lattices. Zbl 0711.03031Gehrke, Mai; Insall, Matt; Kaiser, Klaus 2 1990 A duality theoretic view on limits of finite structures. Zbl 07250944Gehrke, Mai; Jakl, Tomáš; Reggio, Luca 2 2020 Canonical extensions: an algebraic approach to Stone duality. Zbl 1472.06016Gehrke, Mai 2 2018 From ultrafilters on words to the expressive power of a fragment of logic. Zbl 1332.68148Gehrke, Mai; Krebs, Andreas; Pin, Jean-Éric 2 2014 Distributive lattice-structured ontologies. Zbl 1239.68029Bruun, Hans; Coumans, Dion; Gehrke, Mai 2 2009 Canonical extensions and canonicity via dcpo presentations. Zbl 1231.06013Gehrke, Mai; Vosmaer, Jacob 2 2011 Priestley duality for MV-algebras and beyond. Zbl 07502399Fussner, Wesley; Gehrke, Mai; van Gool, Samuel J.; Marra, Vincenzo 1 2021 Robinson lattices and their spectra. Zbl 0817.03030Gehrke, M. 1 1994 On the maximality of some conormal extensions of a lattice. Zbl 0623.06004Gehrke, Mai; Kaiser, Klaus 1 1987 Duality in computer science. Zbl 1392.68268Gehrke, Mai 1 2016 Quantifiers on languages and codensity monads. Zbl 1495.68145Gehrke, Mai; Petrişan, Daniela; Reggio, Luca 1 2020 Priestley duality for MV-algebras and beyond. Zbl 07502399Fussner, Wesley; Gehrke, Mai; van Gool, Samuel J.; Marra, Vincenzo 1 2021 Difference hierarchies and duality with an application to formal languages. Zbl 1477.06040Borlido, Célia; Gehrke, Mai; Krebs, Andreas; Straubing, Howard 2 2020 A duality theoretic view on limits of finite structures. Zbl 07250944Gehrke, Mai; Jakl, Tomáš; Reggio, Luca 2 2020 Quantifiers on languages and codensity monads. Zbl 1495.68145Gehrke, Mai; Petrişan, Daniela; Reggio, Luca 1 2020 Uniform Birkhoff. Zbl 06825569Gehrke, Mai; Pinsker, Michael 5 2018 Sheaves and duality. Zbl 06859152Gehrke, Mai; v. Gool, Samuel J. 4 2018 Canonical extensions: an algebraic approach to Stone duality. Zbl 1472.06016Gehrke, Mai 2 2018 Quantifiers on languages and codensity monads. Zbl 1458.68124Gehrke, Mai; Petrişan, Daniela; Reggio, Luca 3 2017 Stone duality, topological algebra, and recognition. Zbl 1339.06012Gehrke, Mai 9 2016 The Schützenberger product for syntactic spaces. Zbl 1388.68193Gehrke, Mai; Petrisan, Daniela; Reggio, Luca 5 2016 Ultrafilters on words for a fragment of logic. Zbl 1332.68149Gehrke, Mai; Krebs, Andreas; Pin, Jean-Éric 2 2016 Duality in computer science. Zbl 1392.68268Gehrke, Mai 1 2016 Canonical extensions, Esakia spaces, and universal models. Zbl 1350.03050Gehrke, Mai 17 2014 Sheaf representations of MV-algebras and lattice-ordered abelian groups via duality. Zbl 1300.06001Gehrke, Mai; van Gool, Samuel J.; Marra, Vincenzo 13 2014 Relational semantics for full linear logic. Zbl 1335.03063Coumans, Dion; Gehrke, Mai; van Rooijen, Lorijn 8 2014 Distributive envelopes and topological duality for lattices via canonical extensions. Zbl 1309.06004Gehrke, Mai; van Gool, Samuel J. 5 2014 From ultrafilters on words to the expressive power of a fragment of logic. Zbl 1332.68148Gehrke, Mai; Krebs, Andreas; Pin, Jean-Éric 2 2014 \(\Delta_1\)-completions of a poset. Zbl 1317.06002Gehrke, Mai; Jansana, Ramon; Palmigiano, Alessandra 12 2013 A non-commutative Priestley duality. Zbl 1307.06008Bauer, Andrej; Cvetko-Vah, Karin; Gehrke, Mai; van Gool, Samuel J.; Kudryavtseva, Ganna 10 2013 Generalized Kripke semantics for the Lambek-Grishin calculus. Zbl 1301.03025Chernilovskaya, Anna; Gehrke, Mai; van Rooijen, Lorijn 7 2012 Loader and Urzyczyn are logically related. Zbl 1367.03032Salvati, Sylvain; Manzonetto, Giulio; Gehrke, Mai; Barendregt, Henk 3 2012 A view of canonical extension. Zbl 1341.03095Gehrke, Mai; Vosmaer, Jacob 10 2011 Finitely generated free Heyting algebras via Birkhoff duality and coalgebra. Zbl 1229.06003Bezhanishvili, Nick; Gehrke, Mai 6 2011 Duality and recognition. Zbl 1343.68158Gehrke, Mai 3 2011 Canonical extensions and canonicity via dcpo presentations. Zbl 1231.06013Gehrke, Mai; Vosmaer, Jacob 2 2011 A topological approach to recognition. Zbl 1288.68176Gehrke, Mai; Grigorieff, Serge; Pin, Jean-Éric 11 2010 Canonical extensions for congruential logics with the deduction theorem. Zbl 1238.03051Gehrke, Mai; Jansana, Ramon; Palmigiano, Alessandra 8 2010 Stone duality and the recognisable languages over an algebra. Zbl 1239.68047Gehrke, Mai 8 2009 Distributive lattice-structured ontologies. Zbl 1239.68029Bruun, Hans; Coumans, Dion; Gehrke, Mai 2 2009 Duality and equational theory of regular languages. Zbl 1165.68049Gehrke, Mai; Grigorieff, Serge; Pin, Jean-Éric 44 2008 Canonical extensions and completions of posets and lattices. Zbl 1147.06005Gehrke, Mai; Priestley, Hilary A. 13 2008 Canonical extensions of double quasioperator algebras: an algebraic perspective on duality for certain algebras with binary operations. Zbl 1110.06015Gehrke, M.; Priestley, H. A. 15 2007 Duality for double quasioperator algebras via their canonical extensions. Zbl 1127.06009Gehrke, M.; Priestley, H. A. 12 2007 Complete congruences on topologies and down-set lattices. Zbl 1122.06015Erné, Marcel; Gehrke, Mai; Pultr, Aleš 5 2007 Generalized Kripke frames. Zbl 1115.03013Gehrke, Mai 35 2006 MacNeille completions and canonical extensions. Zbl 1083.06009Gehrke, Mai; Harding, John; Venema, Yde 21 2006 Profinite completions and canonical extensions of Heyting algebras. Zbl 1112.06008Bezhanishvili, Guram; Gehrke, Mai; Mines, Ray; Morandi, Patrick J. 17 2006 Canonical extensions and relational completeness of some substructural logics. Zbl 1101.03021Dunn, J. Michael; Gehrke, Mai; Palmigiano, Alessandra 53 2005 A Sahlqvist theorem for distributive modal logic. Zbl 1077.03009Gehrke, Mai; Nagahashi, Hideo; Venema, Yde 41 2005 Completeness of S4 with respect to the real line: revisited. Zbl 1066.03032Bezhanishvili, Guram; Gehrke, Mai 18 2005 Bounded distributive lattice expansions. Zbl 1077.06008Gehrke, Mai; Jónsson, Bjarni 57 2004 Varieties generated by t-norms. Zbl 1067.03060Gehrke, M.; Walker, C.; Walker, E. 2 2004 Euclidean hierarchy in modal logic. Zbl 1034.03020van Benthem, Johan; Bezhanishvili, Guram; Gehrke, Mai 11 2003 Normal forms and truth tables for fuzzy logics. Zbl 1027.03023Gehrke, Mai; Walker, Carol L.; Walker, Elbert A. 8 2003 Fuzzy logics arising from strict De Morgan systems. Zbl 1055.03015Gehrke, M.; Walker, C.; Walker, E. 3 2003 Non-canonicity of MV-algebras. Zbl 1060.06019Gehrke, M.; Priestley, H. A. 7 2002 Bounded lattice expansions. Zbl 0988.06003Gehrke, Mai; Harding, John 89 2001 Monotone bounded distributive lattice expansions. Zbl 0972.06005Gehrke, Mai; Jónsson, Bjarni 21 2000 A note on negations and nilpotent t-norms. Zbl 0992.03034Gehrke, M.; Walker, C.; Walker, E. 2 1999 Averaging operators on the unit interval. Zbl 0935.03061Gehrke, Mai; Walker, Carol; Walker, Elbert 2 1999 A mathematical setting for fuzzy logics. Zbl 1232.03016Gehrke, Mai; Walker, Carol; Walker, Elbert 14 1997 Some comments on interval valued fuzzy sets. Zbl 0865.04006Gehrke, Mai; Walker, Carol; Walker, Elbert 48 1996 DeMorgan systems on the unit interval. Zbl 0865.04005Gehrke, Mai; Walker, Carol; Walker, Elbert 18 1996 Bounded distributive lattices with operators. Zbl 0855.06009Gehrke, Mai; Jónsson, Bjarni 55 1994 \(G_ a\) actions on \(\mathbb{C}^ n\). Zbl 0817.14029Deveney, James K.; Finston, David R.; Gehrke, Mai 11 1994 Robinson lattices and their spectra. Zbl 0817.03030Gehrke, M. 1 1994 On the structure of rough sets. Zbl 0778.04002Gehrke, Mai; Walker, Elbert 19 1992 The order structure of Stone spaces and the \(T_ D\)-separation axiom. Zbl 0753.06010Gehrke, Mai 7 1991 Some nonstandard methods applied to distributive lattices. Zbl 0711.03031Gehrke, Mai; Insall, Matt; Kaiser, Klaus 2 1990 On the maximality of some conormal extensions of a lattice. Zbl 0623.06004Gehrke, Mai; Kaiser, Klaus 1 1987 all cited Publications top 5 cited Publications all top 5 Cited by 395 Authors 34 Gehrke, Mai 28 Bezhanishvili, Guram 18 Palmigiano, Alessandra 15 Bezhanishvili, Nick 15 Walker, Elbert Abner 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 Milius, Stefan 6 Morandi, Patrick J. 6 Reggio, Luca 6 Urbat, Henning 5 Castiglioni, José Luis 5 Deveney, James Kevin 5 Greco, Giuseppe 5 Jipsen, Peter 5 Metcalfe, George 5 Pinsker, Michael 5 Radeleczki, Sándor 5 Reiser, Renata Hax Sander 5 Rivieccio, Umberto 5 San Martín, Hernán Javier 5 van Mill, Jan 4 Dimuro, Graçaliz Pereira 4 Goldblatt, Robert Ian 4 Marra, Vincenzo 4 Maruyama, Yoshihiro 4 Mclean, Brett 4 Moraschini, Tommaso 4 Sadrzadeh, Mehrnoosh 4 Suzuki, Tomoyuki 4 Teheux, Bruno 4 Tzimoulis, Apostolos 4 Van Gasse, Bart 3 Adámek, Jiří 3 Almeida, Jorge 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 De Groot, Jim 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 Klíma, Ondřej 3 Krebs, Andreas 3 Kurz, Alexander 3 Lando, Tamar 3 Lauridsen, Frederik Möllerström 3 Leech, Jonathan Edmund 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 Banerjee, Mohua 2 Barto, Libor 2 Bustince, Humberto 2 Calomino, Ismael 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 Dubouloz, Adrien 2 Dunn, Jon Michael 2 Dyckhoff, Roy ...and 295 more Authors all top 5 Cited in 71 Serials 41 Algebra Universalis 27 Fuzzy Sets and Systems 22 Studia Logica 20 Information Sciences 20 Annals of Pure and Applied Logic 17 International Journal of Approximate Reasoning 15 Journal of Pure and Applied Algebra 14 Order 12 Theoretical Computer Science 11 The Journal of Symbolic Logic 10 Logical Methods in Computer Science 9 Topology and its Applications 9 Archive for Mathematical Logic 8 Soft Computing 8 The Review of Symbolic Logic 6 Journal of Algebra 6 Journal of Philosophical Logic 6 Information and Computation 6 Applied Categorical Structures 6 International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 5 Journal of Applied Non-Classical Logics 5 Journal of Logical and Algebraic Methods in Programming 4 International Journal of Intelligent Systems 4 International Journal of Algebra and Computation 3 Transactions of the American Mathematical Society 3 MSCS. Mathematical Structures in Computer Science 3 Computational and Applied Mathematics 3 Central European Journal of Mathematics 3 ACM Transactions on Computational Logic 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 Journal of Algebra and its Applications 2 Logica Universalis 2 Journal of Function Spaces 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 SIAM Journal on Computing 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 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 all top 5 Cited in 32 Fields 246 Mathematical logic and foundations (03-XX) 180 Order, lattices, ordered algebraic structures (06-XX) 92 Computer science (68-XX) 47 Category theory; homological algebra (18-XX) 45 General topology (54-XX) 37 General algebraic systems (08-XX) 21 Group theory and generalizations (20-XX) 12 Algebraic geometry (14-XX) 6 Commutative algebra (13-XX) 6 Measure and integration (28-XX) 5 Associative rings and algebras (16-XX) 5 Topological groups, Lie groups (22-XX) 4 Functional analysis (46-XX) 4 Convex and discrete geometry (52-XX) 3 Combinatorics (05-XX) 3 Algebraic topology (55-XX) 3 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 2 History and biography (01-XX) 2 Field theory and polynomials (12-XX) 2 Several complex variables and analytic spaces (32-XX) 2 Dynamical systems and ergodic theory (37-XX) 2 Statistics (62-XX) 2 Information and communication theory, circuits (94-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 Nonassociative rings and algebras (17-XX) 1 \(K\)-theory (19-XX) 1 Real functions (26-XX) 1 Functions of a complex variable (30-XX) 1 Difference and functional equations (39-XX) 1 Geometry (51-XX) 1 Probability theory and stochastic processes (60-XX) 1 Operations research, mathematical programming (90-XX) Citations by Year