Relational representation theorems for extended contact algebras
From MaRDI portal
Publication:2243545
DOI10.1007/s11225-020-09923-0OpenAlexW3104007542MaRDI QIDQ2243545
Philippe Balbiani, Tatyana B. Ivanova
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
mereotopologyregular closed subsetscontact algebrasrelational representationpoint-free theory of spaceextended contact algebras
Related Items (1)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Spatial reasoning with \(\mathcal{RCC} 8\) and connectedness constraints in Euclidean spaces
- Region connection calculus: Its models and composition table
- Individuals and points
- A calculus of individuals based on 'connection'
- On the complexity of qualitative spatial reasoning: A maximal tractable fragment of the Region Connection Calculus
- Qualitative spatial reasoning with topological information
- Extended contact algebras and internal connectedness
- Region-based theory of discrete spaces: A proximity approach
- Axiomatizability of geometry without points
- A representation theorem for Boolean contact algebras
- Spatial logics with connectedness predicates
- Topological Logics with Connectedness over Euclidean Spaces
- Introduction to Boolean Algebras
- A mereotopology based on sequent algebras
This page was built for publication: Relational representation theorems for extended contact algebras
