Geodesic
Dynamic mereotopology III. Whiteheadean type of integrated point-free theories of space and time. II
Algebra i logika, Tome 55 (2016) no. 1, pp. 14-36

Voir la notice de l'article provenant de la source Math-Net.Ru

This is the second part from the series of papers shortly denoted by part I [Algebra i Logika, 53, No. 3 (2014), 300–322] and part III [Algebra i Logika, 55, No. 3]. These papers are devoted to some Whiteheadean theories of space and time. Part I contains a historical introduction and some facts from static mereotopology. The present part is devoted to the introduction of a point-based definition of dynamic model of space and standard dynamic contact algebra based on the so called snapshot construction. This model contains explicit time structure with explicit set of time points equipped with a before-after relation and a set of regions changing in time, called dynamic regions. The dynamic model of space contains several definable spatio-temporal relations between dynamic regions: space contact, time contact, precedence and some others. We prove for these relations some statements, which in part III are taken as axioms for the abstract definition of some natural classes of dynamic contact algebras, considered as algebraic formulation of dynamic mereotopology.
Keywords: snapshot construction, point-based dynamic model of space, standard dynamic contact algebra. 
@article{AL_2016_55_1_a1,
     author = {D. Vakarelov},
     title = {Dynamic {mereotopology~III.} {Whiteheadean} type of integrated point-free theories of space and {time.~II}},
     journal = {Algebra i logika},
     pages = {14--36},
     publisher = {mathdoc},
     volume = {55},
     number = {1},
     year = {2016},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/AL_2016_55_1_a1/}
}
TY  - JOUR
AU  - D. Vakarelov
TI  - Dynamic mereotopology III. Whiteheadean type of integrated point-free theories of space and time. II
JO  - Algebra i logika
PY  - 2016
SP  - 14
EP  - 36
VL  - 55
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/AL_2016_55_1_a1/
LA  - ru
ID  - AL_2016_55_1_a1
ER  - 
%0 Journal Article
%A D. Vakarelov
%T Dynamic mereotopology III. Whiteheadean type of integrated point-free theories of space and time. II
%J Algebra i logika
%D 2016
%P 14-36
%V 55
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/AL_2016_55_1_a1/
%G ru
%F AL_2016_55_1_a1
D. Vakarelov. Dynamic mereotopology III. Whiteheadean type of integrated point-free theories of space and time. II. Algebra i logika, Tome 55 (2016) no. 1, pp. 14-36. http://geodesic.mathdoc.fr/item/AL_2016_55_1_a1/