Quasi-metric spaces and point-free geometry
From MaRDI portal
Publication:5466796
DOI10.1017/S0960129506005111zbMath1112.54012OpenAlexW2149104538MaRDI QIDQ5466796
Giangiacomo Gerla, Anna Di Concilio
Publication date: 22 May 2006
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1017/s0960129506005111
Hyperspaces in general topology (54B20) Topological spaces with richer structures (54E99) Metric geometry (51F99)
Related Items (11)
Uniform structures in the beginning of the third millenium ⋮ Coercivity and generalized proximal algorithms: application -- traveling around the world ⋮ Proximal algorithm with quasidistances for multiobjective quasiconvex minimization in Riemannian manifolds ⋮ Logic of approximate entailment in quasimetric and in metric spaces ⋮ Point-free geometries: proximities and quasi-metrics ⋮ Point-free foundation of geometry looking at laboratory activities ⋮ Mereological foundations of point-free geometry via multi-valued logic ⋮ Multi-valued Logic for a Point-Free Foundation of Geometry ⋮ Descriptive proximities: properties and interplay between classical proximities and overlap ⋮ The Hausdorff fuzzy quasi-metric ⋮ A proximal algorithm with quasi distance. Application to habit's formation
This page was built for publication: Quasi-metric spaces and point-free geometry
