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.

---