Dynamic Contact Algebras with a Predicate of Actual Existence: Snapshot Representation and Topological Duality

DOI10.1007/978-3-030-71430-7_16OpenAlexW3203252784MaRDI QIDQ5027246

Dimiter Vakarelov

Publication date: 4 February 2022

Published in: Outstanding Contributions to Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-030-71430-7_16

zbMATH Keywords

spacetimeultrafiltermereotopologyregular closed set(Stone-type)-dualitytemporal relation

Mathematics Subject Classification ID

Compactness (54D30) Lower separation axioms ((T_0)--(T_3), etc.) (54D10) Temporal logic (03B44) Logical aspects of Boolean algebras (03G05) Relational systems, laws of composition (08A02) Natural morphisms, dinatural morphisms (18A23) Topological representations of algebraic systems (54H10)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Dynamic mereotopology. III: Whiteheadian type of integrated point-free theories of space and time. II
• A topological representation theory for lattices
• 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
• Region-based theory of discrete spaces: A proximity approach
• A generalization of the Stone duality theorem
• Proximity structures and grills
• Dynamic Mereotopology: A Point-free Theory of Changing Regions. I. Stable and unstable mereotopological relations
• Mereocompactness and Duality for Mereotopological Spaces
• Determiners and logic
• Handbook of Spatial Logics
• Mereotopologies with Predicates of Actual Existence and Actual Contact
• Actual Existence Predicate in Mereology and Mereotopology (Extended Abstract)

This page was built for publication: Dynamic Contact Algebras with a Predicate of Actual Existence: Snapshot Representation and Topological Duality