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

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