Semi-metrics, closure spaces and digital topology

DOI10.1016/0304-3975(95)00053-YzbMath0872.54003OpenAlexW2084736709MaRDI QIDQ671997

Michael B. Smyth

Publication date: 27 February 1997

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0304-3975(95)00053-y

zbMATH Keywords

modal semanticsdigital topologytopological graphsgeneralized topological structuresinverse limits of digital spacestolerance geometry

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Computer graphics; computational geometry (digital and algorithmic aspects) (68U05) Topological spaces and generalizations (closure spaces, etc.) (54A05) Semantics in the theory of computing (68Q55)

Related Items (33)

On the coverings by tolerance classes ⋮ PCF extended with real numbers ⋮ Region-based theory of discrete spaces: A proximity approach ⋮ Generalized ultrametric spaces in quantitative domain theory ⋮ On normality of a closure space generated from a tree by relation ⋮ Terse walk sets in graphs and induced closure operators ⋮ The category-theoretic solution of recursive metric-space equations ⋮ General adaptive neighborhood-based pretopological image filtering ⋮ Adaptive generalized metrics, distance maps and nearest neighbor transforms on gray tone images ⋮ Digital Jordan curves ⋮ A relational realizability model for higher-order stateful ADTs ⋮ Nature-inspired framework for measuring visual image resemblance: a near rough set approach ⋮ A generalized topological view of motion in discrete space. ⋮ Closure operations for digital topology. ⋮ Semi-metrics, closure spaces and digital topology ⋮ Some variants of strong normality in closure spaces generated via relations ⋮ A quotient-universal digital topology ⋮ A Jordan Curve Theorem with Respect to Certain Closure Operations on the Digital Plane ⋮ A Digital Version of the Kakutani Fixed Point Theorem for Convex-valued Multifunctions ⋮ A differential operator and weak topology for Lipschitz maps ⋮ Closures and topological closures in quasi-discrete closure spaces ⋮ On the final sequence of a finitary set functor ⋮ Unnamed Item ⋮ A computable version of Banach's inverse mapping theorem ⋮ Some new higher separation axioms via sets having non-empty interior ⋮ Dynamic logics of the region-based theory of discrete spaces ⋮ A digital analogue of the Jordan curve theorem ⋮ Unnamed Item ⋮ Connectivity with respect to \(\alpha\)-discrete closure operators ⋮ Neighborhoods with respect to a categorical closure operator ⋮ Finite approximation of measure and integration ⋮ An alternative digital topology ⋮ On the Yoneda completion of a quasi-metric space

Cites Work

• Semi-metrics, closure spaces and digital topology
• Continuous colouring of closed graphs
• Computer graphics and connected topologies on finite ordered sets
• Topology and duality in modal logic
• Tensor Geometry
• Completeness of Quasi-Uniform and Syntopological Spaces
• 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: Semi-metrics, closure spaces and digital topology