A duality theorem for quantitative semantics

DOI10.1016/J.ENTCS.2009.11.028MaRDI QIDQ2994481zbMATH OpenOpenAlexFDO

Authors Hengyang Wu, Yixiang Chen

Publication date 1 August 2016

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.entcs.2009.11.028

zbMATH Keywords

\(\mathrm{module}_{[0,\infty)}\)possibility theorySugeno integralthe extended possibilistic powerdomain

Mathematics Subject Classification ID

Continuous lattices and posets, applications (06B35) Semantics in the theory of computing (68Q55) Reasoning under uncertainty in the context of artificial intelligence (68T37)

Recommendations

• scientific article; zbMATH DE number 1223625
• A generalization of the Chen-Wu duality into quantale-valued setting
• Quantitative semantics, topology, and possibility measures
• A duality between LM-fuzzy possibility computations and their logical semantics
• scientific article; zbMATH DE number 1231583

Cites work

• An extension of Sugeno integral
• Continuous Lattices and Domains
• Domain semantics of possibility computations
• Fuzzy measures and integrals in evaluation of strategies
• Fuzzy sets as a basis for a theory of possibility
• scientific article; zbMATH DE number 1231572 (Why is no real title available?)
• scientific article; zbMATH DE number 1131456 (Why is no real title available?)
• scientific article; zbMATH DE number 935045 (Why is no real title available?)
• Linguistic quantifiers modeled by Sugeno integrals
• Quantitative logic
• Quantitative semantics, topology, and possibility measures

Cited in

(6)

• Quantitative semantics, topology, and possibility measures
• On a duality of quantales emerging from an operational resolution
• Semantics of non-deterministic possibility computation
• A generalization of the Chen-Wu duality into quantale-valued setting
• scientific article; zbMATH DE number 1223625 (Why is no real title available?)
• Fixed Points In Quantitative Semantics

This page was built for publication: A duality theorem for quantitative semantics

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