8 citations · 8 across the 2 of their papers we have counts for
Showing math.LOShow all
2 papers · 1 filter
math.LO2020
Point-free theories of space and time
Dimiter Vakarelov
The paper is in the field of Region Based Theory of Space (RBTS), sometimes called mereotopology. RBTS is a kind of point-free theory of space based on the notion of region. Its or…
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…