Remarks on contact relations on Boolean algebras

Speaker(s)

Professor Ivo Duentsch

Affiliation

Brock University, Kanada

Date

March 23, 2012, 2:15 p.m.

Room

room 5820

Seminar

Seminarium badawcze Zakładu Logiki: Wnioskowania aproksymacyjne w eksploracji danych

---

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.

---