RUS
ENG
Full version
PEOPLE
Vakarelov Dimiter
Publications in Math-Net.Ru
Dynamic contact algebras and quantifier-free logics for space and time
Sib. Èlektron. Mat. Izv.
,
15
(2018),
1103–1144
Dynamic mereotopology. III. Whiteheadian type of integrated point-free theories of space and time. III
Algebra Logika
,
55
:3 (2016),
273–299
Dynamic mereotopology III. Whiteheadean type of integrated point-free theories of space and time. II
Algebra Logika
,
55
:1 (2016),
14–36
Dynamic mereotopology. III. Whiteheadean type of integrated point-free theories of space and time. I
Algebra Logika
,
53
:3 (2014),
300–322
©
Steklov Math. Inst. of RAS
, 2024