Partial metrizability in value quantales

Partial metrics are metrics except that the distance from a point to itself need not be 0. These are useful in modelling partially defined information, which often appears in computer science. We generalize this notion to study “partial metrics” whose values lie in a value quantale which may be othe...

Full description

Bibliographic Details
Main Authors: Ralph D. Kopperman, S. Matthews, H. Pajoohesh
Format: Article
Language:English
Published: Universitat Politècnica de València 2004-04-01
Series:Applied General Topology
Subjects:
Online Access:http://polipapers.upv.es/index.php/AGT/article/view/2000