The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Mai Gehrke: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Guram Bezhanishvili, Mai Gehrke
    Completeness of S4 with respect to the real line: revisited. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 2005, v:131, n:1-3, pp:287-301 [Journal]
  2. Mai Gehrke, Hideo Nagahashi, Yde Venema
    A Sahlqvist theorem for distributive modal logic. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 2005, v:131, n:1-3, pp:65-102 [Journal]
  3. Mai Gehrke, Carol L. Walker, Elbert A. Walker
    Normal forms and truth tables for fuzzy logics. [Citation Graph (0, 0)][DBLP]
    Fuzzy Sets and Systems, 2003, v:138, n:1, pp:25-51 [Journal]
  4. Mai Gehrke, Carol L. Walker, Elbert A. Walker
    A note on negations and nilpotent t-norms. [Citation Graph (0, 0)][DBLP]
    Int. J. Approx. Reasoning, 1999, v:21, n:2, pp:137-155 [Journal]
  5. Mai Gehrke, Carol L. Walker, Elbert A. Walker
    A Mathematical Setting for Fuzzy Logics. [Citation Graph (0, 0)][DBLP]
    International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems, 1997, v:5, n:3, pp:223-238 [Journal]
  6. Guram Bezhanishvili, Mai Gehrke, Ray Mines, Patrick J. Morandi
    Profinite Completions and Canonical Extensions of Heyting Algebras. [Citation Graph (0, 0)][DBLP]
    Order, 2006, v:23, n:2-3, pp:143-161 [Journal]
  7. Johan van Benthem, Guram Bezhanishvili, Mai Gehrke
    Euclidean Hierarchy in Modal Logic. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 2003, v:75, n:3, pp:327-344 [Journal]
  8. Mai Gehrke, Carol L. Walker, Elbert A. Walker
    Varieties generated by T-norms. [Citation Graph (0, 0)][DBLP]
    Soft Comput., 2004, v:8, n:4, pp:264-267 [Journal]
  9. Marcel Erné, Mai Gehrke, Ales Pultr
    Complete Congruences on Topologies and Down-set Lattices. [Citation Graph (0, 0)][DBLP]
    Applied Categorical Structures, 2007, v:15, n:1-2, pp:163-184 [Journal]
  10. Mai Gehrke, Elbert A. Walker
    Iterating conditionals and symmetric Stone algebras. [Citation Graph (0, 0)][DBLP]
    Discrete Mathematics, 1996, v:148, n:1-3, pp:49-63 [Journal]

  11. Stone Duality and the Recognisable Languages over an Algebra. [Citation Graph (, )][DBLP]


  12. Distributive Lattice-Structured Ontologies. [Citation Graph (, )][DBLP]


  13. Free Heyting Algebras: Revisited. [Citation Graph (, )][DBLP]


  14. Duality and Equational Theory of Regular Languages. [Citation Graph (, )][DBLP]


  15. A Topological Approach to Recognition. [Citation Graph (, )][DBLP]


  16. Canonical extension and canonicity via DCPO presentations [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.004secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002