Generalized distances (partial metrics with values in quantales) and generalized equalities (quantale-valued fuzzy equalities) coincide.
The generalized distances without the axiom p(x,x)=0 are frequently used to define non-Hausdorff topologies. They have various applications in semantics of programming languages and in the theory of computations with real numbers.
Quantale-valued sets (sets with quantale-valued fuzzy equalities) were introduced by Ulrich Höhle in order to give solid foundation to the theory of fuzzy sets. They generalize Ω-sets introduced by Fourman and Scott (and also by Higgs) in connection with sheaves and logic.
In the following preprint we observe that the axioms for partial metrics with values in quantales coincide with the axioms for quantale-valued sets for commutative quantales.
Michael Bukatin, Ralph Kopperman, Steve Matthews, and Homeira Pajoohesh. Partial Metrics and Quantale-valued Sets. Preprint, September 14, 2006.
Corrected slides for CCA 2006.
Some examples.
Published extended abstract: Michael Bukatin, Ralph Kopperman, Steve Matthews, and Homeira Pajoohesh, Partial Metrics and Quantale-valued Sets (Extended Abstract), in D.Cenzer et al, editors, CCA 2006: Proceedings of the Third International Conference on Computability and Complexity in Analysis, Informatik Berichte, 336 (09/2006), FernUniversitaet in Hagen, pp. 91-92.
Slides for "Partial Metrics, Fuzzy Equalities, and Metric-Entropy Pairs" talk on June 10, 2009.
The slides and the abstract for a talk at SumTopo 2009.
The slides for a talk at BLAST'09 conference.