CIVILICA We Respect the Science
(ناشر تخصصی کنفرانسهای کشور / شماره مجوز انتشارات از وزارت فرهنگ و ارشاد اسلامی: ۸۹۷۱)

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

عنوان مقاله: A duality between fuzzy domains and strongly completely distributive L-ordered sets
شناسه ملی مقاله: JR_IJFS-11-4_004
منتشر شده در در سال 1393
مشخصات نویسندگان مقاله:

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

صفحه اختصاصی مقاله و دریافت فایل کامل: https://civilica.com/doc/1470223/