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

MaRDI QIDQ2805894zbMATH OpenFDO

Authors Chong Shen, Shanshan Zhang, Wei Yao, Changcheng Zhang

Publication date 13 May 2016

Published in Iranian Journal of Fuzzy Systems (Search for Journal in Brave)

Full work available at URL http://ijfs.usb.ac.ir/article_2184_296.html

zbMATH Keywords

denotational semanticsfuzzy Scott topology\(L\)-fuzzy logical semantics\(L\)-fuzzy possibility computation\(L\)-fuzzy predicate transformer

Mathematics Subject Classification ID

Continuous lattices and posets, applications (06B35) Semantics in the theory of computing (68Q55) Quantales (06F07)

Recommendations

• A duality between LM-fuzzy possibility computations and their logical semantics
• A duality theorem for quantitative semantics
• Lattice-valued Scott topology on dcpos
• Categorical dualities between certain kinds of fuzzy posets
• Semantics of non-deterministic possibility computation

Cited in

(3)

• A duality theorem for quantitative semantics
• On a duality of quantales emerging from an operational resolution
• Semantics of non-deterministic possibility computation

This page was built for publication: A generalization of the Chen-Wu duality into quantale-valued setting

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2805894)