Bitopological duality for distributive lattices and Heyting algebras
نویسندگان
چکیده
منابع مشابه
Bitopological duality for distributive lattices and Heyting algebras
GURAM BEZHANISHVIL I†‖, N ICK BEZHANISHVIL I‡ ‖ , DAVID GABELAIA§ ‖ and ALEXANDER KURZ¶ †Department of Mathematical Sciences, New Mexico State University, Las Cruces NM 88003-8001, U.S.A. Email: [email protected] ‡Department of Computing, Imperial College London, 180 Queen’s Gate, London SW7 2AZ, U.K. Email: [email protected] §Department of Mathematical Logic, Razmadze Mathematical Institut...
متن کاملFUZZY ORDERED SETS AND DUALITY FOR FINITE FUZZY DISTRIBUTIVE LATTICES
The starting point of this paper is given by Priestley’s papers, where a theory of representation of distributive lattices is presented. The purpose of this paper is to develop a representation theory of fuzzy distributive lattices in the finite case. In this way, some results of Priestley’s papers are extended. In the main theorem, we show that the category of finite fuzzy Priestley space...
متن کاملfuzzy ordered sets and duality for finite fuzzy distributive lattices
the starting point of this paper is given by priestley’s papers, where a theory of representation of distributive lattices is presented. the purpose of this paper is to develop a representation theory of fuzzy distributive lattices in the finite case. in this way, some results of priestley’s papers are extended. in the main theorem, we show that the category of finite fuzzy priestley space...
متن کاملDuality of Fix-Points for Distributive Lattices
We present a novel algorithm for calculating x-points. The algorithm calculates x-points of an endo-function f on a distributive lattice, by performing reachability computation a graph derived from the dual of f ; this is in comparison to traditional algorithms that are based on iterated application of f until a x-point is reached.
متن کاملHomomorphisms and Endomorphisms in Varieties of Pseudocomplemented Distributive Lattices (with Applications to Heyting Algebras)
According to a result by K. B. Lee, the lattice of varieties of pseudocomplemented distributive lattices is the ui + 1 chain B_i C Bo C Bi C • ■ ■ C Bn C •■ • C Bw in which the first three varieties are formed by trivial, Boolean, and Stone algebras respectively. In the present paper it is shown that any Stone algebra is determined within Bi by its endomorphism monoid, and that there are at mos...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Mathematical Structures in Computer Science
سال: 2010
ISSN: 0960-1295,1469-8072
DOI: 10.1017/s0960129509990302