Topological Representation of Contact Lattices
The theory of Boolean contact algebras has been used to represent a region based theory of space. Some of the primitives of Boolean algebras are not well motivated in that context. One possible generalization is to drop the notion of complement, thereby weakening the algebraic structure from Boolean algebra to distributive lattice. The main goal of this paper is to investigate the representation theory of that weaker notion, i.e., whether it is still possible to represent each abstract algebra by a substructure of the regular closed sets of a suitable topological space with the standard Whiteheadean contact relation.
Unable to display preview. Download preview PDF.
- 2.Balbes, R., Dwinger, P.: Distributive Lattices. University of Missouri Press, Columbia (1974)Google Scholar
- 4.Dimov, G., Vakarelov, D.: Contact algebras and region–based theory of space: A proximity approach. Fundamenta Informaticae (2006) (to appear)Google Scholar
- 6.Düntsch, I., Vakarelov, D.: Region–based theory of discrete spaces: A proximity approach. Discrete Applied Mathematics (2006) (to appear)Google Scholar
- 7.Düntsch, I., Winter, M.: Lattices of contact relations (2005) (Preprint)Google Scholar
- 10.Engelking, R.: General topology, PWN (1977)Google Scholar
- 12.Stone, M.: Topological representations of distributive lattices and Brouwerian logics. Casopis Pest. Mat. 67, 1–25 (1937)Google Scholar