БЛОГ

Jun 2, 2024

Dynamic Mereotopology: A Point-free Theory of Changing Regions. I. Stable and unstable mereotopological relations

Posted by in category: futurism

It sure looks like other philosophers are using the Stone duality in ways that are a lot more sophisticated than my own way!

Abstract In this paper we present a point-free theory of Whiteheadean style of space and time.


In this paper we present a point-free theory of Whiteheadean style of space and time. Its algebraic formulation, called dynamic contact algebra (DCA), is a Boolean algebra whose elements symbolized dynamic regions changing in time, with two spatio-temporal mereotopological relations between them: stable and unstable contact. We prove several representation theorems for DCAs, representing them in structures arising from products of contact algebras or from products of topological spaces. We also present a decidable quantifier-free constraint logic for reasoning about stable and unstable mereotopological relations between dynamic regions. We consider the paper as a first step in point-free dynamic mereotopology.

Leave a reply