Quasi-metric spaces and point-free geometry

Authors:
Anna Di Concilio;Giangiacomo Gerla
Affiliations:
Dipartimento di Matematica e Informatica, Via Ponte don Melillo, 84084 Fisciano (Salerno), Italy;Dipartimento di Matematica e Informatica, Via Ponte don Melillo, 84084 Fisciano (Salerno), Italy
Venue:
Mathematical Structures in Computer Science
Year:
2006

Citing 3
Cited 1

Quasi-metrics and the semantics of logic programs

Fundamenta Informaticae
Quasi Uniformities: Reconciling Domains with Metric Spaces

Proceedings of the 3rd Workshop on Mathematical Foundations of Programming Language Semantics
Representation theorems for fuzzy orders and quasi-metrics

Soft Computing - A Fusion of Foundations, Methodologies and Applications

The Hausdorff fuzzy quasi-metric

Fuzzy Sets and Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

An approach to point-free geometry based on the notion of a quasi-metric is proposed in which the primitives are the regions and a non-symmetric distance between regions. The intended models are the bounded regular closed subsets of a metric space together with the Hausdorff excess measure.