No abstract

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 T 1 spaces.

No abstract

No abstract

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.