☰

Mai Gehrke - Publications

Affiliations: 
New Mexico State University, Las Cruces, NM, United States 
Area:
Mathematics
Tree Info Similar researchers PubMed Report error

40 high-probability publications. We are testing a new system for linking publications to authors. You can help! If you notice any inaccuracies, please sign in and mark papers as correct or incorrect matches. If you identify any major omissions or other inaccuracies in the publication list, please let us know.

Year Citation  Score
2020 Borlido C, Gehrke M, Krebs A, Straubing H. Difference hierarchies and duality with an application to formal languages Topology and Its Applications. 273: 106975. DOI: 10.1016/J.Topol.2019.106975  0.452
2018 Gehrke M. Canonical extensions: an algebraic approach to Stone duality Algebra Universalis. 79: 12. DOI: 10.1007/S00012-018-0544-6  0.335
2017 Gehrke M, Gool SJv. Sheaves and duality Journal of Pure and Applied Algebra. 222: 2164-2180. DOI: 10.1016/J.Jpaa.2017.09.004  0.48
2014 Gehrke M. Stone duality, topological algebra, and recognition Journal of Pure and Applied Algebra. DOI: 10.1016/J.Jpaa.2015.12.007  0.502
2014 Gehrke M, van Gool SJ, Marra V. Sheaf representations of MV-algebras and lattice-ordered abelian groups via duality Journal of Algebra. 417: 290-332. DOI: 10.1016/J.Jalgebra.2014.06.031  0.479
2014 Coumans D, Gehrke M, Van Rooijen L. Relational semantics for full linear logic Journal of Applied Logic. 12: 50-66. DOI: 10.1016/J.Jal.2013.07.005  0.439
2014 Gehrke M, van Gool SJ. Distributive Envelopes and Topological Duality for Lattices via Canonical Extensions Order. 31: 435-461. DOI: 10.1007/S11083-013-9311-7  0.415
2013 Bauer A, Cvetko-Vah K, Gehrke M, Van Gool SJ, Kudryavtseva G. A non-commutative Priestley duality Topology and Its Applications. 160: 1423-1438. DOI: 10.1016/J.Topol.2013.05.012  0.462
2013 Gehrke M, Jansana R, Palmigiano A. Δ1-completions of a Poset Order. 30: 39-64. DOI: 10.1007/S11083-011-9226-0  0.373
2012 Chernilovskaya A, Gehrke M, Van rooijen L. Generalized Kripke semantics for the Lambek-Grishin calculus Logic Journal of the Igpl. 20: 1110-1132. DOI: 10.1093/Jigpal/Jzr051  0.478
2011 Bezhanishvili N, Gehrke M. Finitely generated free heyting algebras via birkhoff duality and coalgebra Logical Methods in Computer Science. 7. DOI: 10.2168/Lmcs-7(2:9)2011  0.41
2011 Gehrke M, Vosmaer J. Canonical extensions and canonicity via dcpo presentations Theoretical Computer Science. 412: 2714-2723. DOI: 10.1016/J.Tcs.2010.12.032  0.407
2011 Gehrke M. Duality and recognition Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 6907: 3-18. DOI: 10.1007/978-3-642-22993-0_3  0.32
2010 Gehrke M, Jansana R, Palmigiano A. Canonical extensions for congruential logics with the deduction theorem Annals of Pure and Applied Logic. 161: 1502-1519. DOI: 10.1016/J.Apal.2010.05.003  0.493
2009 Bezhanishvili N, Gehrke M. Free heyting algebras: Revisited Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5728: 251-266. DOI: 10.1007/978-3-642-03741-2_18  0.352
2009 Gehrke M. Stone duality and the recognisable languages over an algebra Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5728: 236-250. DOI: 10.1007/978-3-642-03741-2_17  0.34
2007 Gehrke M, Priestley HA. Canonical extensions of double quasioperator algebras: An algebraic perspective on duality for certain algebras with binary operations Journal of Pure and Applied Algebra. 209: 269-290. DOI: 10.1016/J.Jpaa.2006.06.001  0.464
2007 Gehrke M, Priestley HA. Duality for double quasioperator algebras via their canonical extensions Studia Logica. 86: 31-68. DOI: 10.1007/S11225-007-9045-X  0.473
2007 Erné M, Gehrke M, Pultr A. Complete congruences on topologies and down-set lattices Applied Categorical Structures. 15: 163-184. DOI: 10.1007/S10485-006-9054-3  0.385
2006 Gehrke M, Harding J, Venema Y. Macneille completions and canonical extensions Transactions of the American Mathematical Society. 358: 573-590. DOI: 10.1090/S0002-9947-05-03816-X  0.456
2006 Gehrke M. Generalized kripke frames Studia Logica. 84: 241-275. DOI: 10.1007/S11225-006-9008-7  0.438
2006 Bezhanishvili G, Gehrke M, Mines R, Morandi PJ. Profinite completions and canonical extensions of heyting algebras Order. 23: 143-161. DOI: 10.1007/S11083-006-9037-X  0.439
2005 Dunn JM, Gehrke M, Palmigiano A. Canonical extensions and relational completeness of some substructural logics Journal of Symbolic Logic. 70: 713-740. DOI: 10.2178/Jsl/1122038911  0.415
2005 Gehrke M, Nagahashi H, Venema Y. A Sahlqvist theorem for distributive modal logic Annals of Pure and Applied Logic. 131: 65-102. DOI: 10.1016/J.Apal.2004.04.007  0.634
2005 Bezhanishvili G, Gehrke M, Harding J, Walker C, Walker E. Varieties of algebras in fuzzy set theory Logical, Algebraic, Analytic and Probabilistic Aspects of Triangular Norms. 321-344. DOI: 10.1016/B978-044451814-9/50012-4  0.368
2004 Gehrke M, Jónsson B. Bounded distributive lattice expansions Mathematica Scandinavica. 94: 13-45. DOI: 10.7146/Math.Scand.A-14428  0.407
2004 Gehrke M, Walker C, Walker E. Varieties generated by T-norms Soft Computing. 8: 264-267. DOI: 10.1007/s00500-003-0270-6  0.333
2003 Benthem Jv, Bezhanishvili G, Gehrke M. Euclidean Hierarchy in Modal Logic Studia Logica. 75: 327-344. DOI: 10.1023/B:Stud.0000009564.00287.16  0.34
2003 Gehrke M, Walker CL, Walker EA. Normal forms and truth tables for fuzzy logics Fuzzy Sets and Systems. 138: 25-51. DOI: 10.1016/S0165-0114(02)00566-3  0.354
2001 Gehrke M, Harding J. Bounded lattice expansions Journal of Algebra. 238: 345-371. DOI: 10.1006/Jabr.2000.8622  0.418
1999 Gehrke M, Kreinovich V, Bouchon-Meunier B. Propositional fuzzy logics: decidable for some (algebraic) operators; undecidable for more complicated ones International Journal of Intelligent Systems. 14: 935-947. DOI: 10.1002/(Sici)1098-111X(199909)14:9<935::Aid-Int6>3.0.Co;2-E  0.39
1999 Gehrke M, Walker C, Walker E. Averaging operators on the unit interval International Journal of Intelligent Systems. 14: 883-898. DOI: 10.1002/(Sici)1098-111X(199909)14:9<883::Aid-Int2>3.0.Co;2-U  0.316
1997 Gehrke M, Walker C, Walker E. A mathematical setting for fuzzy logics International Journal of Uncertainty, Fuzziness and Knowlege-Based Systems. 5: 223-238. DOI: 10.1142/S021848859700021X  0.428
1997 Gehrke M, Walker C, Walker E. Stone algebra extensions with bounded dense sets Algebra Universalis. 37: 1-23. DOI: 10.1007/Pl00000326  0.402
1996 Gehrke M, Walker E. Iterating conditionals and symmetric stone algebras Discrete Mathematics. 148: 49-63. DOI: 10.1016/0012-365X(94)00262-H  0.337
1996 Gehrke M, Walker C, Walker E. Some comments on interval valued fuzzy sets International Journal of Intelligent Systems. 11: 751-759. DOI: 10.1002/(Sici)1098-111X(199610)11:10<751::Aid-Int3>3.0.Co;2-Y  0.334
1996 Gehrke M, Walker C, Walker E. DeMorgan systems on the unit interval International Journal of Intelligent Systems. 11: 733-750. DOI: 10.1002/(Sici)1098-111X(199610)11:10<733::Aid-Int2>3.0.Co;2-#  0.343
1994 Gehrke M. Uniquely representable posets Annals of the New York Academy of Sciences. 728: 32-40. DOI: 10.1111/J.1749-6632.1994.Tb44131.X  0.472
1991 Gehrke M. The Order Structure of Stone Spaces and the TD‐Separation Axiom Mathematical Logic Quarterly. 37: 5-15. DOI: 10.1002/Malq.19910370103  0.309
1987 Gehrke M, Kaiser K. On the Maximality of Some Conormal Extensions of a Lattice Mathematical Logic Quarterly. 33: 13-18. DOI: 10.1002/Malq.19870330103  0.329
Show low-probability matches.