A Representation Theorem for Boolean Contact Algebras [PDF]
Ivo Düntsch and Michael Winter, September 2003.
We prove a representation theorem for Boolean contact algebras which implies that the axioms for the Region Connection Calculus (RCC) are complete for the class of subalgebras of the algebras of regular closed sets of weakly regular connected T1 spaces.