We found a match
Your institution may have rights to this item. Sign in to continue.
- Title
A GENERALIZATION OF THE CHEN-WU DUALITY INTO QUANTALE-VALUED SETTING.
- Authors
SHEN, C.; ZHANG, S. S.; YAO, W.; ZHANG, C. C.
- Abstract
With the unit interval [0,1] as the truth value table, Chen and Wu presented the concept of possibility computation over dcpos. Indeed, every possibility computation can be considered as a [0,l]-valued Scott open set on a dcpo. T he aim of this paper is to study Chen-Wu’s duality on quantale-valued setting. For clarity, with a com mutative unital quantale L as the truth value table, we introduce a concept of fuzzy possibility computations over fuzzy dcpos and th en establish an equivalence between their denotational semantics and their logical semantics.
- Subjects
PROGRAMMING language semantics; DUALITY theory (Mathematics); FUZZY mathematics; FORMAL language semantics; PROBABILITY theory
- Publication
Iranian Journal of Fuzzy Systems, 2015, Vol 12, Issue 6, p129
- ISSN
1735-0654
- Publication type
Article