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

A generalization of the Chen-Wu duality into quantale-valued setting

عنوان مقاله: A generalization of the Chen-Wu duality into quantale-valued setting
شناسه ملی مقاله: JR_IJFS-12-6_008
منتشر شده در در سال 1394
مشخصات نویسندگان مقاله:

Chong Shen - Department of Physics, Hebei University of Science and Technology, Shijiazhuang ۰۵۰۰۱۸, P.R. China
Shanshan Zhang - Department of Physics, Hebei University of Science and Technol- ogy, Shijiazhuang ۰۵۰۰۱۸, P.R. China
Wei Yao - Department of Physics, Hebei University of Science and Technology, Shi- jiazhuang ۰۵۰۰۱۸, P.R. China
Changcheng Zhang - Department of Physics, Hebei University of Science and Tech- nology, Shijiazhuang ۰۵۰۰۱۸, P.R. China

خلاصه مقاله:
With the unit interval [۰,۱] as the truth value table, Chen and Wupresented the concept of  possibility computation over dcpos.Indeed, every possibility computation can be considered as a[۰,۱]-valued Scott open set on a dcpo. The aim of this paper is tostudy Chen-Wu's duality on quantale-valued setting. For clarity,with a commutative unital quantale L as the truth value table, weintroduce a concept of fuzzy possibility computations over fuzzydcpos and then establish an equivalence between their denotationalsemantics and their logical semantics.

کلمات کلیدی:
Fuzzy Scott topology, L-fuzzy possibility computation, Denotational semantics, L-fuzzy predicate transformer, L-fuzzy logical semantics

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