article
Partial Metric Topology
Annals of the New York Academy of Sciences · 1994 · Vol. 728(1) · pp. 183–197
S. G. Matthews✉(University of Warwick)
Abstract
ABSTRACT: Metric spaces are inevitably Hausdorff and so cannot, for example, be used to study non‐Hausdorff topologies such as those required in the Tarskian approach to programming language semantics. This paper presents a symmetric generalised metric for such topologies, an approach which sheds new light on how metric tools such as Banach's Theorem can be extended to non‐Hausdorff topologies.
Logic, Reasoning, and KnowledgeComputability, Logic, AI AlgorithmsLogic, programming, and type systemsHausdorff spaceNetwork topologyHausdorff distanceMetric (unit)MathematicsMetric spaceUrysohn and completely Hausdorff spacesTopology (electrical circuits)Computer scienceDiscrete mathematics
Citations
1,203
FWCI
1.13
field-weighted impact
References
12
Percentile
82%
vs. same field & year
Citations per year
Citation Network
How this paper connects to the literature. Drag to explore, click any node to open that paper.