Complementation in representable theories of region-based space
From MaRDI portal
Publication:1949166
DOI10.1215/00294527-1731344zbMath1262.68164OpenAlexW2144930856MaRDI QIDQ1949166
Torsten Hahmann, Michael Gruninger
Publication date: 25 April 2013
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://projecteuclid.org/euclid.ndjfl/1361454974
Logic in artificial intelligence (68T27) Complemented lattices, orthocomplemented lattices and posets (06C15) Topological representations of algebraic systems (54H10)
Related Items (2)
Distributive mereotopology: extended distributive contact lattices ⋮ An Ontological Framework for Characterizing Hydrological Flow Processes
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Maintaining knowledge about temporal intervals
- Part and complement: Fundamental concepts in spatial relations
- Generalized region connection calculus
- On the complemented disk algebra
- Distributive contact lattices: topological representations
- Stonian p-ortholattices: a new approach to the mereotopology \(RT_{0}\)
- A calculus of individuals based on 'connection'
- Connection structures
- Region-based topology
- Boolean connection algebras: A new approach to the Region-Connection Calculus
- Lattices and ordered algebraic structures
- On the algebra of regular sets
- Region-based theory of discrete spaces: A proximity approach
- A representation theorem for Boolean contact algebras
- Continuous lattices and Whiteheadian theory of space
- The Lattice of Contact Relations on a Boolean Algebra
- On the Skeleton of Stonian p-Ortholattices
- Note on a Lemma of Ladkin
- Topological Representation of Contact Lattices
- The Theory of Representation for Boolean Algebras
- Relational Methods in Computer Science
This page was built for publication: Complementation in representable theories of region-based space
