You are here

Brock TR # CS-03-04 Abstract

Region-based theory of discrete spaces: A proximity approach    [PDF]
Ivo Düntsch and Dimiter Vakarelov, March 2003.

We introduce Boolean proximity algebras as a generalization of Efremovic proximities which are suitable in reasoning about discrete regions. Following Stone's representation theorem for Boolean algebras, it is shown that each such algebra is isomorphic to a substructure of a complete and atomic Boolean proximity algebra.