Dynamic Contact Algebras with a Predicate of Actual Existence: Snapshot Representation and Topological Duality
From MaRDI portal
Publication:5027246
DOI10.1007/978-3-030-71430-7_16OpenAlexW3203252784MaRDI QIDQ5027246
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
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