Mai Gehrke

	2011
24		Mai Gehrke: Duality and Recognition. MFCS 2011: 3-18
23		Nick Bezhanishvili, Mai Gehrke: Finitely generated free Heyting algebras via Birkhoff duality and coalgebra Logical Methods in Computer Science 7(2): (2011)
22		Mai Gehrke, Jacob Vosmaer: Canonical extensions and canonicity via dcpo presentations. Theor. Comput. Sci. 412(25): 2714-2723 (2011)
	2010
21		Mai Gehrke, Serge Grigorieff, Jean-Eric Pin: A Topological Approach to Recognition. ICALP (2) 2010: 151-162
20		Mai Gehrke, Ramon Jansana, Alessandra Palmigiano: Canonical extensions for congruential logics with the deduction theorem. Ann. Pure Appl. Logic 161(12): 1502-1519 (2010)
19		Mai Gehrke, Jacob Vosmaer: A view of canonical extension CoRR abs/1009.2803: (2010)
	2009
18		Mai Gehrke: Stone Duality and the Recognisable Languages over an Algebra. CALCO 2009: 236-250
17		Nick Bezhanishvili, Mai Gehrke: Free Heyting Algebras: Revisited. CALCO 2009: 251-266
16		Hans Bruun, Dion Coumans, Mai Gehrke: Distributive Lattice-Structured Ontologies. CALCO 2009: 267-283
15		Mai Gehrke, Jacob Vosmaer: A View of Canonical Extension. TbiLLC 2009: 77-100
14		Mai Gehrke, Jacob Vosmaer: Canonical extension and canonicity via DCPO presentations CoRR abs/0909.0171: (2009)
	2008
13		Mai Gehrke, Serge Grigorieff, Jean-Eric Pin: Duality and Equational Theory of Regular Languages. ICALP (2) 2008: 246-257
	2007
12		Marcel Erné, Mai Gehrke, Ales Pultr: Complete Congruences on Topologies and Down-set Lattices. Applied Categorical Structures 15(1-2): 163-184 (2007)
	2006
11		Guram Bezhanishvili, Mai Gehrke, Ray Mines, Patrick J. Morandi: Profinite Completions and Canonical Extensions of Heyting Algebras. Order 23(2-3): 143-161 (2006)
10		Mai Gehrke: Generalized Kripke Frames. Studia Logica 84(2): 241-275 (2006)
	2005
9		Guram Bezhanishvili, Mai Gehrke: Completeness of S4 with respect to the real line: revisited. Ann. Pure Appl. Logic 131(1-3): 287-301 (2005)
8		Mai Gehrke, Hideo Nagahashi, Yde Venema: A Sahlqvist theorem for distributive modal logic. Ann. Pure Appl. Logic 131(1-3): 65-102 (2005)
7		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
6		Mai Gehrke, Carol L. Walker, Elbert A. Walker: Varieties generated by T-norms. Soft Comput. 8(4): 264-267 (2004)
	2003
5		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)
4		Johan van Benthem, Guram Bezhanishvili, Mai Gehrke: Euclidean Hierarchy in Modal Logic. Studia Logica 75(3): 327-344 (2003)
	1999
3		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
2		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
1		Mai Gehrke, Elbert A. Walker: Iterating conditionals and symmetric Stone algebras. Discrete Mathematics 148(1-3): 49-63 (1996)

Coauthor Index

1	Johan van Benthem	[4]
2	Guram Bezhanishvili	[4] [9] [11]
3	Nick Bezhanishvili	[17] [23]
4	Hans Bruun	[16]
5	Dion Coumans	[16]
6	J. Michael Dunn	[7]
7	Marcel Erné	[12]
8	Serge Grigorieff	[13] [21]
9	Ramon Jansana	[20]
10	Ray Mines	[11]
11	Patrick J. Morandi	[11]
12	Hideo Nagahashi	[8]
13	Alessandra Palmigiano	[7] [20]
14	Jean-Eric Pin	[13] [21]
15	Ales Pultr	[12]
16	Yde Venema	[8]
17	Jacob Vosmaer	[14] [15] [19] [22]
18	Carol L. Walker	[2] [3] [5] [6]
19	Elbert A. Walker	[1] [2] [3] [5] [6]

Colors in the list of coauthors

Last update Wed May 30 22:34:44 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page