A generalization of the Chen-Wu duality into quantale-valued setting
نویسندگان
1 Department of Physics, Hebei University of Science and Technology, Shijiazhuang 050018, P.R. China
2 Department of Physics, Hebei University of Science and Tech- nology, Shijiazhuang 050018, P.R. China
3 Department of Physics, Hebei University of Science and Technol- ogy, Shijiazhuang 050018, P.R. China
4 Department of Physics, Hebei University of Science and Technology, Shi- jiazhuang 050018, P.R. China
doi
10.22111/ijfs.2015.2184چکیده
With the unit interval [0,1] as the truth value table, Chen and Wupresented the concept of possibility computation over dcpos.Indeed, every possibility computation can be considered as a[0,1]-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.
