The correspondence between partial metrics and semivaluations
From MaRDI portal
Publication:1826629
DOI10.1016/j.tcs.2003.11.016zbMath1052.54026OpenAlexW2076019225MaRDI QIDQ1826629
Publication date: 6 August 2004
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.tcs.2003.11.016
Metric spaces, metrizability (54E35) Semantics in the theory of computing (68Q55) Uniform structures and generalizations (54E15) Continuous lattices and posets, applications (06B35) Semilattices (06A12)
Related Items (61)
Partial metric monoids and semivaluation spaces ⋮ Iterative approximation of fixed points of Prešić operators on partial metric spaces ⋮ A characterisation of weightable quasi-metric generating functions ⋮ Partial quasi-metrics ⋮ Common fixed points in a partially ordered partial metric space ⋮ Common fixed-point results for nonlinear contractions in ordered partial metric spaces ⋮ Fixed point of generalized weakly contractive mappings in ordered partial metric spaces ⋮ Fixed point theorems for generalized weak contractions satisfying rational expression on a ordered partial metric space ⋮ Hyperspaces of a weightable quasi-metric space: application to models in the theory of computation ⋮ Fixed point of Suzuki-Zamfirescu hybrid contractions in partial metric spaces via partial Hausdorff metric ⋮ Common fixed point of a power graphic contraction pair in partial metric spaces endowed with a graph ⋮ Extensions of the Zamfirescu theorem to partial metric spaces ⋮ New contribution in fixed point theory via an auxiliary function with an application ⋮ Three extensions of Ćirić quasicontraction on partial metric spaces ⋮ Fixed points of mappings with a contractive iterate at a point in partial metric spaces ⋮ Fixed point results for generalized cyclic contraction mappings in partial metric spaces ⋮ Weakly weighted generalised quasi-metric spaces and semilattices ⋮ A Suzuki type unique common fixed point theorem for hybrid pairs of maps under a new condition in partial metric spaces ⋮ A new generalization of metric spaces satisfying the \(T_2\)-separation axiom and some related fixed point results ⋮ Epimorphisms and closure operators of categories of semilattices ⋮ \(L\)-partial metrics and their topologies ⋮ Existence of minima of functions in partial metric spaces and applications to fixed point theory ⋮ A generalized Meir-Keeler-type contraction on partial metric spaces ⋮ A generalized contraction principle with control functions on partial metric spaces ⋮ Coupled fixed point results for \((\psi,\phi)\)-weakly contractive condition in ordered partial metric spaces ⋮ Common fixed points of generalized contractions on partial metric spaces and an application ⋮ DS-partial metric spaces and domain theory ⋮ Partial Hausdorff metric and Nadler's fixed point theorem on partial metric spaces ⋮ Fixed point theory for cyclic generalized weak \(\phi\)-contraction on partial metric spaces ⋮ Weightable quasi-uniformities ⋮ Common fixed point results of four mappings in ordered partial metric spaces ⋮ Coupled fixed point theorems for nonlinear contractions in partial metric spaces ⋮ An induction theorem and Ekeland's variational principle in partial metric spaces with applications ⋮ Edelstein type fixed point theorems ⋮ A characterization of partial metrizability: Domains are quantifiable. ⋮ Fixed points of multivalued contractive mappings in partial metric spaces ⋮ Suzuki-Edelstein type contractions via auxiliary functions ⋮ Weak condition for generalized f-weakly Picard mappings on partial metric spaces ⋮ Domain theoretic characterisations of quasi-metric completeness in terms of formal balls ⋮ Unnamed Item ⋮ Fixed point theorems in generalized metric spaces with applications to computer science ⋮ Some coupled fixed point results on partial metric spaces ⋮ Weightable quasi-metric semigroups and semilattices ⋮ Some new extensions of Banach's contraction principle to partial metric space ⋮ Common fixed points of two pairs of mappings satisfying (E.A)-property in partial metric spaces ⋮ The Hausdorff fuzzy quasi-metric ⋮ A variant of Nadler's theorem on weak partial metric spaces with application to a homotopy result ⋮ Compactness and completeness in partial metric spaces ⋮ Denotational semantics for programming languages, balanced quasi-metrics and fixed points ⋮ On the structure of the space of complexity partial functions ⋮ On fixed points for a–n–f-contractive multi-valued mappings in partial metric spaces ⋮ A quantitative computational model for complete partial metric spaces via formal balls ⋮ On 0-complete partial metric spaces and quantitative fixed point techniques in denotational semantics ⋮ Metrizability of partial metric spaces ⋮ Entropy conservation for comparison-based algorithms ⋮ Generalized quasi-metric semilattices ⋮ \(\mathcal{MOQA}\); unlocking the potential of compositional static average-case analysis ⋮ A common fixed point result by altering distances involving a contractive condition of integral type in partial metric spaces ⋮ On multivalued weakly Picard operators in partial Hausdorff metric spaces ⋮ Intrinsic entropy for generalized quasimetric semilattices ⋮ A Suzuki type unique common fixed point theorem for two pairs of hybrid maps under a new condition in partial metric spaces
Cites Work
- An extensional treatment of lazy data flow deadlock
- Generalized metric spaces: Completion, topology, and powerdomains via the Yoneda embedding
- Uniform lattices. I: A generalization of topological Riesz spaces and topological Boolean rings
- Approximation of metric spaces by partial metric spaces
- Uniform lattices. II: Order continuity and exhaustivity
- Quasi-metric properties of complexity spaces
- The Smyth Completion
- Partial Metric Topology
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: The correspondence between partial metrics and semivaluations
