A Duality Theorem for Quantitative Semantics.

Hengyang Wu Yixiang Chen

Published in: ISDT (2009)

Keyphrases

linear programming
qualitative and quantitative
formal semantics
semantic information
conceptual model
logic programming
quantitative and qualitative
database
semantic representation
logical framework
quantitative measures
proof theory
logical language
intuitionistic logic