A duality theory for quantitative semantics

DOI10.1007/BFB0028019MaRDI QIDQ4218936zbMATH OpenFDO

Authors Reinhold Heckmann, Michael Huth

Publication date 15 November 1998

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BFB0028019

zbMATH Keywords

bicontinuous latticescartesian closed categorycontinuous predicatecontinuous valuationspossibility theoryquantitative predicatesScott-continuous maps

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Categorical logic, topoi (03G30) Continuous lattices and posets, applications (06B35) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Semantics in the theory of computing (68Q55) Logic in artificial intelligence (68T27)

Recommendations

• A duality theorem for quantitative semantics
• Quantitative semantics, topology, and possibility measures
• Topological dualities in semantics
• scientific article; zbMATH DE number 1583311

Cited in

(11)

• Quantitative semantics, topology, and possibility measures
• A non-topological view of dcpos as convergence spaces.
• On a duality of quantales emerging from an operational resolution
• Rough games modeled via \(L\)-fuzzy ambiguous representations of semilattices
• A duality theorem for quantitative semantics
• Fixed Points In Quantitative Semantics
• GRADATIONAL ACCURACY AND NONCLASSICAL SEMANTICS
• A decomposition theorem for maxitive measures
• \(L\)-fuzzy strongest postcondition predicate transformers as \(L\)-idempotent linear or affine operators between semimodules of monotonic predicates
• Ambiguous representations of semilattices, imperfect information, and predicate transformers
• Basic concepts of quantale-enriched topologies

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

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