Nie jesteś zalogowany | Zaloguj się

Remarks on contact relations on Boolean algebras

Prelegent(ci)
Professor Ivo Duentsch
Afiliacja
Brock University, Kanada
Termin
23 marca 2012 14:15
Pokój
p. 5820
Seminarium
Research Seminar of the Logic Group: Approximate reasoning in data mining

The paradigmatic example for a contact relation is that of having non-disjoint closures for regions in  n-dimensional space. Generally, a contact relation is a binary relation on a Boolean algebra reflecting some of the properties of this example. I will exhibit a topological and an algebraic representation theorem for contact algebras, and present a solution to two problems due to Düntsch and Winter and to Dimov and Vakarelov, respectively.