Partial quasi-metrics
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. (C) 2006 Elsevier B.V. All rights reserved.
partial quasi-metric quasi-metric partial metric bicompletion weight quasi-nonn completion bck-algebra