A representation theorem for Boolean contact algebras

@article{Dntsch2005ART,
  title={A representation theorem for Boolean contact algebras},
  author={Ivo D{\"u}ntsch and Michael Winter},
  journal={Theor. Comput. Sci.},
  year={2005},
  volume={347},
  pages={498-512}
}
We prove a representation theorem for Boolean contact algebras which implies that the axioms for the Region Connection Calculus [23] (RCC) are complete for the class of subalgebras of the algebras of regular closed sets of weakly regular connected T1 spaces. 
Highly Influential
This paper has highly influenced 10 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS

From This Paper

Topics from this paper.
55 Citations
35 References
Similar Papers

References

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

A general representation theorem of the region connection calculus. Unpublished

  • T. Mormann
  • 2001
Highly Influential
5 Excerpts

Continuous lattices and Whiteheadian theory of space

  • T. Mormann
  • Logic and Logical Philosophy,
  • 1998
Highly Influential
5 Excerpts

Proximity Spaces

  • S. A. Naimpally, B. D. Warrack
  • 1970
Highly Influential
3 Excerpts

Process and reality

  • A. N. Whitehead
  • 1929
Highly Influential
3 Excerpts

Similar Papers

Loading similar papers…