Partial quasi-metrics
作者： H.-P.A. Künzi , H. Pajoohesh , M.P. Schellekens
DOI: 10.1016/J.TCS.2006.07.050
关键词:
摘要: In this article we introduce and investigate the concept of a partial quasi-metric some its applications. We show that many important constructions studied in Matthews's theory metrics can still be used successfully more general setting. particular, consider bicompletion space is associated with study applications groups BCK-algebras.
core.ac.uk
elsevier.com
sci-hub.se 参考文章(16)
M.P. Schellekens, The correspondence between partial metrics and semivaluations Theoretical Computer Science. ,vol. 315, pp. 135- 149 ,(2004) , 10.1016/J.TCS.2003.11.016
Ralph D. Kopperman, S. Matthews, H. Pajoohesh, Partial metrizability in value quantales Applied general topology. ,vol. 5, pp. 115- 127 ,(2004) , 10.4995/AGT.2004.2000
S. Oltra, S. Romaguera, E. A. Sánchez-Pérez, Bicompleting weightable quasi-metric spaces and partial metric spaces Rendiconti Del Circolo Matematico Di Palermo. ,vol. 51, pp. 151- 162 ,(2002) , 10.1007/BF02871458
S. J. O'NEILL, Partial Metrics, Valuations and Domain Theory Annals of the New York Academy of Sciences. ,vol. 806, pp. 304- 315 ,(1995) , 10.1111/J.1749-6632.1996.TB49177.X
S Tanaka, K Iseki, AN INTRODUCTION TO THE THEORY OF THE BCK-ALGEBRAS MATHEMATICA JAPONICA. ,vol. 23, pp. 1- 26 ,(1978)
Anna Di Concilio, Spazi quasimetrici e topologie ad essi associate ,vol. 38, pp. 113- 130 ,(1971)
Ralph Kopperman, Steve Matthews, Homeira Pajoohesh, What do partial metrics represent dagstuhl seminar proceedings. pp. 0- ,(2005)
H.-P. A. Künzi, Nontransitive quasi-uniformities in the Pervin quasi-proximity class Proceedings of the American Mathematical Society. ,vol. 130, pp. 3725- 3730 ,(2002) , 10.1090/S0002-9939-02-06477-8
Pawel Waszkiewicz, The local triangle axiom in topology and domain theory Applied general topology. ,vol. 4, pp. 47- 70 ,(2003) , 10.4995/AGT.2003.2009
Salvador Romaguera, M.P. Schellekens, Duality and quasi-normability for complexity spaces Applied general topology. ,vol. 3, pp. 91- 112 ,(2002) , 10.4995/AGT.2002.2116