8 citations · 8 across the 1 of their papers we have counts for
2 papers
math.LO2019★ 8 cited
Distributive Mereotopology: Extended distributive contact lattices
Tatyana Ivanova, Dimiter Vakarelov
Contact algebra is one of the main tools in the region-based theory of space. It is an extension of Boolean algebra with a relation called contact. The elements of the Boolean alge…
cs.LO2019
Representation theorems for extended contact algebras based on equivalence relations
Philippe Balbiani, Tatyana Ivanova
The aim of this paper is to give new representation theorems for extended contact algebras. These representation theorems are based on equivalence relations.