You are not logged in |
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
- 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.
