Partial quasi-metrics

Authors:
H.-P. A. Künzi;H. Pajoohesh;M. P. Schellekens
Affiliations:
Department of Mathematics and Applied Mathematics, University of Cape Town, Rondebosch, South Africa;Centre for Efficiency-Oriented Languages, Cork, Ireland;Department of Computer Science, National University of Ireland, Cork, Ireland
Venue:
Theoretical Computer Science - Spatial representation: Discrete vs. continous computational models
Year:
2006

Citing 2
Cited 5

A characterization of partial metrizability: domains are quantifiable

Theoretical Computer Science - Topology in computer science
The correspondence between partial metrics and semivaluations

Theoretical Computer Science - Mathematical foundations of programming semantics

A quantitative computational model for complete partial metric spaces via formal balls†

Mathematical Structures in Computer Science
Preordered sets valued in a GL-monoid

Fuzzy Sets and Systems
The order-theoretic duality and relations between partial metrics and local equalities

Fuzzy Sets and Systems
A representation theorem for fuzzy pseudometrics

Fuzzy Sets and Systems
On aggregation of normed structures

Mathematical and Computer Modelling: An International Journal

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this article we introduce and investigate the concept of a partial quasi-metric and some of its applications. We show that many important constructions studied in Matthews's theory of partial metrics can still be used successfully in this more general setting. In particular, we consider the bicompletion of the quasi-metric space that is associated with a partial quasi-metric space and study its applications in groups and BCK-algebras.