Some results on $L$-complete lattices

作者: Omid Zahiri , Anatolij Dvurečenskij

DOI:

关键词:

摘要: The paper deals with special types of $L$-ordered set, $L$-fuzzy complete lattices, and fuzzy directed posets (fuzzy $dcpo$s). First, a theorem for constructing monotone maps is proved, characterization on an lattice obtained, it proved that if $f$ map $(P;e)$, then $\sqcap S_f$ the least fixpoint $f$. A relation between lattices fixpoints found versions monotonicity, rolling, fusion exchange rules $L$-complete are stated. Finally, we investigate $Hom(P,P)$, where $(P;e)$ $dcpo$, show $Hom(P,P)$ $\gamma\mapsto \bigwedge_{x\in P}e(x,\gamma(x))$ subset its join.

参考文章(8)
Hongliang Lai, Dexue Zhang, Fundamental study: Complete and directed complete Ω-categories Theoretical Computer Science. ,vol. 388, pp. 1- 25 ,(2007) , 10.1016/J.TCS.2007.09.012
Anne C. Davis, A characterization of complete lattices Pacific Journal of Mathematics. ,vol. 5, pp. 311- 319 ,(1955) , 10.2140/PJM.1955.5.311
Wei Yao, Ling-Xia Lu, Fuzzy Galois connections on fuzzy posets Mathematical Logic Quarterly. ,vol. 55, pp. 105- 112 ,(2009) , 10.1002/MALQ.200710079
Brian Albert Davey, Hilary Ann Priestley, Introduction to lattices and order ,(1990)
Radim Bĕlohlávek, Concept lattices and order in fuzzy logic Annals of Pure and Applied Logic. ,vol. 128, pp. 277- 298 ,(2004) , 10.1016/J.APAL.2003.01.001