8 citations · 8 across the 2 of their papers we have counts for
3 papers
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…
math.GN2016
A Generalization of the Stone Duality Theorem
G. Dimov, E. Ivanova-Dimova, D. Vakarelov
We prove a new duality theorem for the category of precontact algebras which implies the Stone Duality Theorem, its connected version obtained in arXiv:1508.02220v3, 1-44 (to appea…