Experts has a new look! Let us know what you think of the updates.

Provide feedback
Home
Scholarly Works
Distributive contact lattices: Topological...
Journal article

Distributive contact lattices: Topological representations

Abstract

In order to provide a region based theory of space the notion of Boolean contact algebras has been used. However, not all of the Boolean connectives, in particular complement, are well motivated in that context. A suitable generalization of this theory is to drop the notion of complement, thereby weakening the algebraic structure from a Boolean algebra to a distributive lattice. In this paper we investigate the representation theory of that …

Authors

Düntsch I; MacCaull W; Vakarelov D; Winter M

Journal

The Journal of Logic and Algebraic Programming, Vol. 76, No. 1, pp. 18–34

Publisher

Elsevier

Publication Date

May 2008

DOI

10.1016/j.jlap.2007.10.002

ISSN

1567-8326