A duality between fuzzy domains and strongly completely distributive L-ordered sets
- سال انتشار: 1393
- محل انتشار: مجله سیستم های فازی، دوره: 11، شماره: 4
- کد COI اختصاصی: JR_IJFS-11-4_004
- زبان مقاله: انگلیسی
- تعداد مشاهده: 167
نویسندگان
Department of Mathematics, Hebei University of Science and Technology, Shijiazhuang ۰۵۰۰۱۸, P.R. China
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 به مفهوم کد ملی اسناد نمایه شده در سیویلیکا است و کدی یکتا و ثابت است و به همین دلیل همواره قابلیت استناد و پیگیری دارد.