Some corollaries of the correspondence between partial metrics and multivalued equalities

DOI10.1016/j.fss.2013.08.016zbMath1337.54004OpenAlexW2047237092MaRDI QIDQ277333

Ralph Kopperman, Steve Matthews, Michael Bukatin

Publication date: 29 April 2016

Published in: Fuzzy Sets and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.fss.2013.08.016

zbMATH Keywords

topologycategory theorysheavesmeasures of informationnonclassical logicsdomains for denotational semantics

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Continuous lattices and posets, applications (06B35) Presheaves and sheaves in general topology (54B40)

Related Items (5)

Separated ▵+-valued equivalences as probabilistic partial metric spaces ⋮ Tameness in generalized metric structures ⋮ Value semigroups, value quantales, and positivity domains ⋮ Aggregation of partial \(T\)-indistinguishability operators and partial pseudo-metrics ⋮ A study on the relationship between relaxed metrics and indistinguishability operators

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The order-theoretic duality and relations between partial metrics and local equalities
• A non-commutative and non-idempotent theory of quantale sets
• Partial quasi-metrics
• Quantales and continuity spaces
• Continuity spaces: Reconciling domains and metric spaces
• Partial Metric Spaces
• All Topologies Come From Generalized Metrics
• Metric spaces, generalized logic, and closed categories
• Partial Metric Topology
• Partial metrizability in value quantales
• Encyclopedia of Distances

This page was built for publication: Some corollaries of the correspondence between partial metrics and multivalued equalities