Region–based theory of discrete spaces: A proximity approach

  title={Region–based theory of discrete spaces: A proximity approach},
  author={Ivo D{\"u}ntsch and Dimiter Vakarelov},
  journal={Annals of Mathematics and Artificial Intelligence},
We introduce Boolean proximity algebras as a generalization of Efremovič 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. 

From This Paper

Topics from this paper.
33 Citations
21 References
Similar Papers


Publications referenced by this paper.
Showing 1-10 of 21 references

Topological representations of distributive lattices and Brouwerian logics. Časopis Pěst

  • M. Stone
  • Mat. ,
  • 1937
Highly Influential
2 Excerpts

Qualitative Spatial Change

  • A. Galton
  • 2000
2 Excerpts

Proximity modal logics

  • D. Vakarelov
  • Proceedings of the 11th Amsterdam Colloquium
  • 1997

Similar Papers

Loading similar papers…