Remarks on contact relations on Boolean algebras |
| |
| Authors: | Sabine Koppelberg Ivo Düntsch Michael Winter |
| |
| Institution: | 1. Institut f??r Mathematik der Freien Universit?t Berlin, Arnimallee 3, 14195, Berlin, Germany
2. Department of Computer Science, Brock University, St. Catharines, Ontario, L2S 3A1, Canada
|
| |
| Abstract: | The paradigmatic example for a contact relation is that of having nondisjoint 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. We prove in this paper a topological and an algebraic representation theorem for contact algebras and solve two problems due to Düntsch and Winter and to Dimov and Vakarelov, respectively. |
| |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ |
|
