A Duality Theorem for Quantitative Semantics

  • Authors:

  • Hengyang Wu;Yixiang Chen

  • Affiliations:

  • Information Engineer College, Hangzhou Dianzi University, Hangzhou, China and Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, Shanghai, China;Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, Shanghai, China

  • Venue:
  • Electronic Notes in Theoretical Computer Science (ENTCS)
  • Year:
  • 2010

Quantified Score

Hi-index 0.00

Visualization

Abstract

This paper mainly studies quantitative possibility theory in the framework of domain. Using Sugeno's integral and the notion of module a duality theorem is obtained between the extended possibilistic powerdomain over a continuous domain X and the extended fuzzy predicates on X. This duality provides a reassuring link between the spaces of quantitative meaning and the corresponding Scott-topological space.