A characterization of flat ideals in the unit interval with the canonical fuzzy order is obtained with the help of the ordinal sum decomposition of continuous t-norms.This characterization will be useful in the study of topological and domain theoretic properties of fuzzy orders.
【基金】
国家自然科学基金(11771310)
【更新日期】
2018-10-30
【分类号】
O159
【正文快照】
1 IntroductionA commutative quantale[1]is a commutativemonoid(Q,&,1)such that Qis a complete lattice andp&(∨j∈Jqj)=∨j∈Jp&qjfor all p∈Qand{qj}j∈JQ.The unit 1of themonoid(Q,&,1)is not necessarily the top ele-ment of Q.Given a commutative quantale Q=