Dynamic mereotopology. III: Whiteheadean type of integrated point-free theories of space and time. I

DOI10.1007/S10469-014-9283-8MaRDI QIDQ2342312zbMATH OpenOpenAlexFDO

Authors Dimiter Vakarelov

Publication date 11 May 2015

Published in Algebra and Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10469-014-9283-8

zbMATH Keywords

dynamic mereotopologypoint-free theory of space and timeWhiteheadean type theory

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic in artificial intelligence (68T27) Foundations of classical theories (including reverse mathematics) (03B30)

Recommendations

• Dynamic mereotopology. II: Axiomatizing some Whiteheadean type space-time logics
• Dynamic mereotopology. III: Whiteheadian type of integrated point-free theories of space and time. III
• Dynamic mereotopology. III: Whiteheadian type of integrated point-free theories of space and time. II
• Dynamic Mereotopology: A Point-free Theory of Changing Regions. I. Stable and unstable mereotopological relations
• scientific article; zbMATH DE number 7594258

Cites work

• scientific article; zbMATH DE number 5117074 (Why is no real title available?)
• scientific article; zbMATH DE number 5117075 (Why is no real title available?)
• scientific article; zbMATH DE number 5241969 (Why is no real title available?)
• scientific article; zbMATH DE number 3328048 (Why is no real title available?)
• scientific article; zbMATH DE number 3198867 (Why is no real title available?)
• Boolean connection algebras: A new approach to the Region-Connection Calculus
• Dynamic Mereotopology: A Point-free Theory of Changing Regions. I. Stable and unstable mereotopological relations
• Dynamic mereotopology. II: Axiomatizing some Whiteheadean type space-time logics
• Dynamic mereotopology. III: Whiteheadean type of integrated point-free theories of space and time. I
• Handbook of Spatial Logics
• Proximity structures and grills
• Qualitative spatial representation and reasoning: An overview
• Region-based theory of discrete spaces: A proximity approach
• Region-based theory of space: algebras of regions, representation theory, and logics
• Relational Methods in Computer Science

Cited in

(9)

• Dynamic Mereotopology: A Point-free Theory of Changing Regions. I. Stable and unstable mereotopological relations
• Dynamic contact algebras and quantifier-free logics for space and time
• Dynamic contact algebras with a predicate of actual existence: snapshot representation and topological duality
• Point-free theories of space and time
• Dynamic mereotopology. III: Whiteheadian type of integrated point-free theories of space and time. II
• Exploiting lattices in a theory of space and time
• Dynamic mereotopology. II: Axiomatizing some Whiteheadean type space-time logics
• Dynamic mereotopology. III: Whiteheadean type of integrated point-free theories of space and time. I
• Dynamic mereotopology. III: Whiteheadian type of integrated point-free theories of space and time. III

This page was built for publication: Dynamic mereotopology. III: Whiteheadean type of integrated point-free theories of space and time. I

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2342312)