Relational representation theorems for extended contact algebras
From MaRDI portal
Publication:2243545
DOI10.1007/S11225-020-09923-0OpenAlexW3104007542MaRDI QIDQ2243545FDOQ2243545
Tatyana B. Ivanova, Philippe Balbiani
Publication date: 11 November 2021
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1901.10367
contact algebrasregular closed subsetsmereotopologyrelational representationpoint-free theory of spaceextended contact algebras
Cites Work
- Introduction to Boolean Algebras
- On the complexity of qualitative spatial reasoning: A maximal tractable fragment of the Region Connection Calculus
- Title not available (Why is that?)
- Qualitative spatial reasoning with topological information
- Region-based theory of discrete spaces: A proximity approach
- A representation theorem for Boolean contact algebras
- Title not available (Why is that?)
- Region-based theory of space: algebras of regions, representation theory, and logics
- Individuals and points
- A calculus of individuals based on 'connection'
- Region connection calculus: Its models and composition table
- Spatial reasoning with \(\mathcal{RCC} 8\) and connectedness constraints in Euclidean spaces
- Title not available (Why is that?)
- Title not available (Why is that?)
- Axiomatizability of geometry without points
- Spatial logics with connectedness predicates
- Title not available (Why is that?)
- Extended contact algebras and internal connectedness
- Logics of space with connectedness predicates: complete axiomatizations
- Topological Logics with Connectedness over Euclidean Spaces
- A mereotopology based on sequent algebras
Cited In (4)
This page was built for publication: Relational representation theorems for extended contact algebras
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2243545)
