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
شناسه ملی مقاله: 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
خلاصه مقاله:
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/