Contact join-semilattices
In: Studia Logica, 2022; (2020)
Online
report
Contact algebra is one of the main tools in region-based theory of space. In \cite{dmvw1, dmvw2,iv,i1} it is generalized by dropping the operation Boolean complement. Furthermore we can generalize contact algebra by dropping also the operation meet. Thus we obtain structures, called contact join-semilattices (CJS) and structures, called distributive contact join-semilattices (DCJS). We obtain a set-theoretical representation theorem for CJS and a relational representation theorem for DCJS. As corollaries we get also topological representation theorems. We prove that the universal theory of CJS and of DCJS is the same and is decidable.
Titel: |
Contact join-semilattices
|
---|---|
Autor/in / Beteiligte Person: | Ivanova, Tatyana |
Link: | |
Quelle: | Studia Logica, 2022; (2020) |
Veröffentlichung: | 2020 |
Medientyp: | report |
DOI: | 10.1007/s11225-022-09994-1 |
Schlagwort: |
|
Sonstiges: |
|