- CSB - MetaPress - Google - Bing - Yahoo
 | 2013 | |
|---|---|---|
| j19 |      | Mai Gehrke, Ramon Jansana, Alessandra Palmigiano: Δ1-completions of a Poset. Order 30(1): 39-64 (2013) |
| 2012 | ||
| j18 | | Anna Chernilovskaya, Mai Gehrke, Lorijn van Rooijen: Generalized Kripke semantics for the Lambek-Grishin calculus. Logic Journal of the IGPL 20(6): 1110-1132 (2012) |
| c8 | | Sylvain Salvati, Giulio Manzonetto, Mai Gehrke, Henk Barendregt: Loader and Urzyczyn Are Logically Related. ICALP (2) 2012: 364-376 |
| 2011 | ||
| j17 | | Nick Bezhanishvili, Mai Gehrke: Finitely generated free Heyting algebras via Birkhoff duality and coalgebra. Logical Methods in Computer Science 7(2) (2011) |
| j16 | | Mai Gehrke, Jacob Vosmaer: Canonical extensions and canonicity via dcpo presentations. Theor. Comput. Sci. 412(25): 2714-2723 (2011) |
| c7 | | |
| 2010 | ||
| j15 | | Mai Gehrke, Ramon Jansana, Alessandra Palmigiano: Canonical extensions for congruential logics with the deduction theorem. Ann. Pure Appl. Logic 161(12): 1502-1519 (2010) |
| c6 | | Mai Gehrke, Serge Grigorieff, Jean-Eric Pin: A Topological Approach to Recognition. ICALP (2) 2010: 151-162 |
| i2 | | |
| 2009 | ||
| c5 | | |
| c4 | | |
| c3 | | Hans Bruun, Dion Coumans, Mai Gehrke: Distributive Lattice-Structured Ontologies. CALCO 2009: 267-283 |
| c2 | | |
| i1 | | Mai Gehrke, Jacob Vosmaer: Canonical extension and canonicity via DCPO presentations. CoRR abs/0909.0171 (2009) |
| 2008 | ||
| j14 | | Mai Gehrke, Hilary A. Priestley: Canonical extensions and completions of posets and lattices. Reports on Mathematical Logic 43: 133-152 (2008) |
| c1 | | Mai Gehrke, Serge Grigorieff, Jean-Eric Pin: Duality and Equational Theory of Regular Languages. ICALP (2) 2008: 246-257 |
| 2007 | ||
| j13 | | Marcel Erné, Mai Gehrke, Ales Pultr: Complete Congruences on Topologies and Down-set Lattices. Applied Categorical Structures 15(1-2): 163-184 (2007) |
| j12 | | Mai Gehrke, Hilary A. Priestley: Duality for Double Quasioperator Algebras via their Canonical Extensions. Studia Logica 86(1): 31-68 (2007) |
| 2006 | ||
| j11 | | Guram Bezhanishvili, Mai Gehrke, Ray Mines, Patrick J. Morandi: Profinite Completions and Canonical Extensions of Heyting Algebras. Order 23(2-3): 143-161 (2006) |
| j10 | | |
| 2005 | ||
| j9 | | Mai Gehrke, Hideo Nagahashi, Yde Venema: A Sahlqvist theorem for distributive modal logic. Ann. Pure Appl. Logic 131(1-3): 65-102 (2005) |
| j8 | | Guram Bezhanishvili, Mai Gehrke: Completeness of S4 with respect to the real line: revisited. Ann. Pure Appl. Logic 131(1-3): 287-301 (2005) |
| j7 | | J. Michael Dunn, Mai Gehrke, Alessandra Palmigiano: Canonical extensions and relational completeness of some substructural logics. J. Symb. Log. 70(3): 713-740 (2005) |
| 2004 | ||
| j6 | | Mai Gehrke, Carol L. Walker, Elbert A. Walker: Varieties generated by T-norms. Soft Comput. 8(4): 264-267 (2004) |
| 2003 | ||
| j5 | | Mai Gehrke, Carol L. Walker, Elbert A. Walker: Normal forms and truth tables for fuzzy logics. Fuzzy Sets and Systems 138(1): 25-51 (2003) |
| j4 | | Johan van Benthem, Guram Bezhanishvili, Mai Gehrke: Euclidean Hierarchy in Modal Logic. Studia Logica 75(3): 327-344 (2003) |
| 1999 | ||
| j3 | | Mai Gehrke, Carol L. Walker, Elbert A. Walker: A note on negations and nilpotent t-norms. Int. J. Approx. Reasoning 21(2): 137-155 (1999) |
| 1997 | ||
| j2 | | Mai Gehrke, Carol L. Walker, Elbert A. Walker: A Mathematical Setting for Fuzzy Logics. International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 5(3): 223-238 (1997) |
| 1996 | ||
| j1 | | Mai Gehrke, Elbert A. Walker: Iterating conditionals and symmetric Stone algebras. Discrete Mathematics 148(1-3): 49-63 (1996) |
Colors in the list of coauthors
Last update Wed May 22 19:40:23 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page