A duality between fuzzy domains and strongly completely distributive L-ordered sets

  • سال انتشار: 1393
  • محل انتشار: مجله سیستم های فازی، دوره: 11، شماره: 4
  • کد COI اختصاصی: JR_IJFS-11-4_004
  • زبان مقاله: انگلیسی
  • تعداد مشاهده: 167
دانلود فایل این مقاله

نویسندگان

W. Yao

Department of Mathematics, Hebei University of Science and Technology, Shijiazhuang ۰۵۰۰۱۸, P.R. China

B. Zhao

Department of Mathematics, Shaanxi Normal University, Xi&#۰۳۹;an ۷۱۰۰۶۲, P.R. China

چکیده

The aim of this paper is to establish a fuzzy version of the dualitybetween domains and completely distributive lattices. All values aretaken in a fixed frame L. A definition of (strongly) completelydistributive L-ordered sets is introduced. The main result inthis paper is that the category of fuzzy domains is dually equivalentto the category of strongly completely distributive L-orderedsets. The results in this paper establish close connections amongfuzzy-set approach of quantitative domains and fuzzy topology withmodified L-sober spaces and spatial L-frames as links. Inaddition, some mistakes in [K.R. Wagner, Liminf convergence in\Omega-categories, Theoretical Computer Science ۱۸۴ (۱۹۹۷)۶۱--۱۰۴] are pointed out.

کلیدواژه ها

Fuzzy DCPO, Fuzzy domain, Fuzzy Scott topology, (Spatial) L-frame, L-frame homomorphism, (Strongly) Completely distributive L-ordered set, Modified L-sober

اطلاعات بیشتر در مورد COI

COI مخفف عبارت CIVILICA Object Identifier به معنی شناسه سیویلیکا برای اسناد است. COI کدی است که مطابق محل انتشار، به مقالات کنفرانسها و ژورنالهای داخل کشور به هنگام نمایه سازی بر روی پایگاه استنادی سیویلیکا اختصاص می یابد.

کد COI به مفهوم کد ملی اسناد نمایه شده در سیویلیکا است و کدی یکتا و ثابت است و به همین دلیل همواره قابلیت استناد و پیگیری دارد.