 | 2009 |
|---|
| 16 |       | Mai Gehrke:
Stone Duality and the Recognisable Languages over an Algebra.
CALCO 2009: 236-250 |
| 15 | | Nick Bezhanishvili,
Mai Gehrke:
Free Heyting Algebras: Revisited.
CALCO 2009: 251-266 |
| 14 | | Hans Bruun,
Dion Coumans,
Mai Gehrke:
Distributive Lattice-Structured Ontologies.
CALCO 2009: 267-283 |
| 13 | | Mai Gehrke,
Jacob Vosmaer:
Canonical extension and canonicity via DCPO presentations
CoRR abs/0909.0171: (2009) |
| 2008 |
|---|
| 12 | | Mai Gehrke,
Serge Grigorieff,
Jean-Eric Pin:
Duality and Equational Theory of Regular Languages.
ICALP (2) 2008: 246-257 |
| 2007 |
|---|
| 11 | | Marcel Erné,
Mai Gehrke,
Ales Pultr:
Complete Congruences on Topologies and Down-set Lattices.
Applied Categorical Structures 15(1-2): 163-184 (2007) |
| 2006 |
|---|
| 10 | | Guram Bezhanishvili,
Mai Gehrke,
Ray Mines,
Patrick J. Morandi:
Profinite Completions and Canonical Extensions of Heyting Algebras.
Order 23(2-3): 143-161 (2006) |
| 9 | | Mai Gehrke:
Generalized Kripke Frames.
Studia Logica 84(2): 241-275 (2006) |
| 2005 |
|---|
| 8 | | Guram Bezhanishvili,
Mai Gehrke:
Completeness of S4 with respect to the real line: revisited.
Ann. Pure Appl. Logic 131(1-3): 287-301 (2005) |
| 7 | | Mai Gehrke,
Hideo Nagahashi,
Yde Venema:
A Sahlqvist theorem for distributive modal logic.
Ann. Pure Appl. Logic 131(1-3): 65-102 (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) |
