Nie jesteś zalogowany |
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
- 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.
