Edit Profile (opens in new tab) Gehrke, Mai Compute Distance To: Compute Author ID: gehrke.mai Published as: Gehrke, Mai; Gehrke, M. Documents Indexed: 68 Publications since 1987 1 Contribution as Editor · 1 Further Contribution Reviewing Activity: 1 Review Co-Authors: 49 Co-Authors with 59 Joint Publications 1,161 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 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 Schmiedel, A. 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 4 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 Lecture Notes in Computer Science all top 5 Fields 50 Order, lattices, ordered algebraic structures (06-XX) 37 Mathematical logic and foundations (03-XX) 18 Computer science (68-XX) 8 General topology (54-XX) 6 Group theory and generalizations (20-XX) 5 Category theory; homological algebra (18-XX) 3 General algebraic systems (08-XX) 1 General and overarching topics; collections (00-XX) 1 Algebraic geometry (14-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 58 Publications have been cited 764 times in 383 Documents Cited by ▼ Year ▼ Bounded lattice expansions. Zbl 0988.06003Gehrke, Mai; Harding, John 85 2001 Bounded distributive lattice expansions. Zbl 1077.06008Gehrke, Mai; Jónsson, Bjarni 54 2004 Bounded distributive lattices with operators. Zbl 0855.06009Gehrke, Mai; Jónsson, Bjarni 53 1994 Canonical extensions and relational completeness of some substructural logics. Zbl 1101.03021Dunn, J. Michael; Gehrke, Mai; Palmigiano, Alessandra 49 2005 Some comments on interval valued fuzzy sets. Zbl 0865.04006Gehrke, Mai; Walker, Carol; Walker, Elbert 44 1996 A Sahlqvist theorem for distributive modal logic. Zbl 1077.03009Gehrke, Mai; Nagahashi, Hideo; Venema, Yde 40 2005 Duality and equational theory of regular languages. Zbl 1165.68049Gehrke, Mai; Grigorieff, Serge; Pin, Jean-Éric 37 2008 Generalized Kripke frames. Zbl 1115.03013Gehrke, Mai 32 2006 MacNeille completions and canonical extensions. Zbl 1083.06009Gehrke, Mai; Harding, John; Venema, Yde 21 2006 Monotone bounded distributive lattice expansions. Zbl 0972.06005Gehrke, Mai; Jónsson, Bjarni 20 2000 On the structure of rough sets. Zbl 0778.04002Gehrke, Mai; Walker, Elbert 18 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 17 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 16 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. 14 2007 A mathematical setting for fuzzy logics. Zbl 1232.03016Gehrke, Mai; Walker, Carol; Walker, Elbert 14 1997 Canonical extensions and completions of posets and lattices. Zbl 1147.06005Gehrke, Mai; Priestley, Hilary A. 12 2008 Duality for double quasioperator algebras via their canonical extensions. Zbl 1127.06009Gehrke, M.; Priestley, H. A. 12 2007 Sheaf representations of MV-algebras and lattice-ordered abelian groups via duality. Zbl 1300.06001Gehrke, Mai; van Gool, Samuel J.; Marra, Vincenzo 12 2014 Euclidean hierarchy in modal logic. Zbl 1034.03020van Benthem, Johan; Bezhanishvili, Guram; Gehrke, Mai 11 2003 \(G_ a\) actions on \(\mathbb{C}^ n\). Zbl 0817.14029Deveney, James K.; Finston, David R.; Gehrke, Mai 11 1994 A view of canonical extension. Zbl 1341.03095Gehrke, Mai; Vosmaer, Jacob 10 2011 \(\Delta_1\)-completions of a poset. Zbl 1317.06002Gehrke, Mai; Jansana, Ramon; Palmigiano, Alessandra 10 2013 A non-commutative Priestley duality. Zbl 1307.06008Bauer, Andrej; Cvetko-Vah, Karin; Gehrke, Mai; van Gool, Samuel J.; Kudryavtseva, Ganna 9 2013 A topological approach to recognition. Zbl 1288.68176Gehrke, Mai; Grigorieff, Serge; Pin, Jean-Éric 9 2010 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 Stone duality, topological algebra, and recognition. Zbl 1339.06012Gehrke, Mai 8 2016 Non-canonicity of MV-algebras. Zbl 1060.06019Gehrke, M.; Priestley, H. A. 7 2002 The order structure of Stone spaces and the \(T_ D\)-separation axiom. Zbl 0753.06010Gehrke, Mai 7 1991 Finitely generated free Heyting algebras via Birkhoff duality and coalgebra. Zbl 1229.06003Bezhanishvili, Nick; Gehrke, Mai 6 2011 Generalized Kripke semantics for the Lambek-Grishin calculus. Zbl 1301.03025Chernilovskaya, Anna; Gehrke, Mai; van Rooijen, Lorijn 6 2012 Relational semantics for full linear logic. Zbl 1335.03063Coumans, Dion; Gehrke, Mai; van Rooijen, Lorijn 6 2014 The Schützenberger product for syntactic spaces. Zbl 1388.68193Gehrke, Mai; Petrisan, Daniela; Reggio, Luca 5 2016 Complete congruences on topologies and down-set lattices. Zbl 1122.06015Erné, Marcel; Gehrke, Mai; Pultr, Aleš 4 2007 Distributive envelopes and topological duality for lattices via canonical extensions. Zbl 1309.06004Gehrke, Mai; van Gool, Samuel J. 4 2014 Uniform Birkhoff. Zbl 06825569Gehrke, Mai; Pinsker, Michael 4 2018 Fuzzy logics arising from strict De Morgan systems. Zbl 1055.03015Gehrke, M.; Walker, C.; Walker, E. 3 2003 Duality and recognition. Zbl 1343.68158Gehrke, Mai 3 2011 Sheaves and duality. Zbl 06859152Gehrke, Mai; v. Gool, Samuel J. 3 2018 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 Averaging operators on the unit interval. Zbl 0935.03061Gehrke, Mai; Walker, Carol; Walker, Elbert 2 1999 Canonical extensions and canonicity via dcpo presentations. Zbl 1231.06013Gehrke, Mai; Vosmaer, Jacob 2 2011 A note on negations and nilpotent t-norms. Zbl 0992.03034Gehrke, M.; Walker, C.; Walker, E. 2 1999 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 Some nonstandard methods applied to distributive lattices. Zbl 0711.03031Gehrke, Mai; Insall, Matt; Kaiser, Klaus 2 1990 Ultrafilters on words for a fragment of logic. Zbl 1332.68149Gehrke, Mai; Krebs, Andreas; Pin, Jean-Éric 2 2016 Canonical extensions: an algebraic approach to Stone duality. Zbl 1472.06016Gehrke, Mai 2 2018 A duality theoretic view on limits of finite structures. Zbl 07250944Gehrke, Mai; Jakl, Tomáš; Reggio, Luca 2 2020 Robinson lattices and their spectra. Zbl 0817.03030Gehrke, M. 1 1994 Varieties generated by t-norms. Zbl 1067.03060Gehrke, M.; Walker, C.; Walker, E. 1 2004 On the maximality of some conormal extensions of a lattice. Zbl 0623.06004Gehrke, Mai; Kaiser, Klaus 1 1987 Difference hierarchies and duality with an application to formal languages. Zbl 1477.06040Borlido, Célia; Gehrke, Mai; Krebs, Andreas; Straubing, Howard 1 2020 Quantifiers on languages and codensity monads. Zbl 07382045Gehrke, Mai; Petrişan, Daniela; Reggio, Luca 1 2020 A duality theoretic view on limits of finite structures. Zbl 07250944Gehrke, Mai; Jakl, Tomáš; Reggio, Luca 2 2020 Difference hierarchies and duality with an application to formal languages. Zbl 1477.06040Borlido, Célia; Gehrke, Mai; Krebs, Andreas; Straubing, Howard 1 2020 Quantifiers on languages and codensity monads. Zbl 07382045Gehrke, Mai; Petrişan, Daniela; Reggio, Luca 1 2020 Uniform Birkhoff. Zbl 06825569Gehrke, Mai; Pinsker, Michael 4 2018 Sheaves and duality. Zbl 06859152Gehrke, Mai; v. Gool, Samuel J. 3 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 8 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 Canonical extensions, Esakia spaces, and universal models. Zbl 1350.03050Gehrke, Mai 16 2014 Sheaf representations of MV-algebras and lattice-ordered abelian groups via duality. Zbl 1300.06001Gehrke, Mai; van Gool, Samuel J.; Marra, Vincenzo 12 2014 Relational semantics for full linear logic. Zbl 1335.03063Coumans, Dion; Gehrke, Mai; van Rooijen, Lorijn 6 2014 Distributive envelopes and topological duality for lattices via canonical extensions. Zbl 1309.06004Gehrke, Mai; van Gool, Samuel J. 4 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 10 2013 A non-commutative Priestley duality. Zbl 1307.06008Bauer, Andrej; Cvetko-Vah, Karin; Gehrke, Mai; van Gool, Samuel J.; Kudryavtseva, Ganna 9 2013 Generalized Kripke semantics for the Lambek-Grishin calculus. Zbl 1301.03025Chernilovskaya, Anna; Gehrke, Mai; van Rooijen, Lorijn 6 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 9 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 37 2008 Canonical extensions and completions of posets and lattices. Zbl 1147.06005Gehrke, 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.06015Gehrke, M.; Priestley, H. A. 14 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š 4 2007 Generalized Kripke frames. Zbl 1115.03013Gehrke, Mai 32 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 49 2005 A Sahlqvist theorem for distributive modal logic. Zbl 1077.03009Gehrke, Mai; Nagahashi, Hideo; Venema, Yde 40 2005 Completeness of S4 with respect to the real line: revisited. Zbl 1066.03032Bezhanishvili, Guram; Gehrke, Mai 17 2005 Bounded distributive lattice expansions. Zbl 1077.06008Gehrke, Mai; Jónsson, Bjarni 54 2004 Varieties generated by t-norms. Zbl 1067.03060Gehrke, M.; Walker, C.; Walker, E. 1 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 85 2001 Monotone bounded distributive lattice expansions. Zbl 0972.06005Gehrke, Mai; Jónsson, Bjarni 20 2000 Averaging operators on the unit interval. Zbl 0935.03061Gehrke, Mai; Walker, Carol; Walker, Elbert 2 1999 A note on negations and nilpotent t-norms. Zbl 0992.03034Gehrke, M.; Walker, C.; Walker, E. 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 44 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 53 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 18 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 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 all top 5 Cited in 30 Fields 232 Mathematical logic and foundations (03-XX) 174 Order, lattices, ordered algebraic structures (06-XX) 82 Computer science (68-XX) 43 General topology (54-XX) 41 Category theory; homological algebra (18-XX) 34 General algebraic systems (08-XX) 19 Group theory and generalizations (20-XX) 12 Algebraic geometry (14-XX) 6 Commutative algebra (13-XX) 5 Topological groups, Lie groups (22-XX) 5 Measure and integration (28-XX) 4 Associative rings and algebras (16-XX) 4 Convex and discrete geometry (52-XX) 3 Combinatorics (05-XX) 3 Functional analysis (46-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) 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 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