作者: 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.