Complementation in representable theories of region-based space

DOI10.1215/00294527-1731344MaRDI QIDQ1949166zbMATH OpenOpenAlexFDO

Authors 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

zbMATH Keywords

complementationcontact algebrasmereotopologyspatial representability

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Topological representations of algebraic systems (54H10) Complemented lattices, orthocomplemented lattices and posets (06C15)

Recommendations

• Distributive mereotopology: extended distributive contact lattices
• Distributive contact lattices: topological representations
• Topological Representation of Contact Lattices
• A mereotopology based on sequent algebras
• On the algebra of regular sets

Cites work

• scientific article; zbMATH DE number 5117074 (Why is no real title available?)
• scientific article; zbMATH DE number 1313604 (Why is no real title available?)
• scientific article; zbMATH DE number 1181276 (Why is no real title available?)
• scientific article; zbMATH DE number 1949046 (Why is no real title available?)
• A calculus of individuals based on 'connection'
• A representation theorem for Boolean contact algebras
• Boolean connection algebras: A new approach to the Region-Connection Calculus
• Connection structures
• Continuous lattices and Whiteheadian theory of space
• Distributive contact lattices: topological representations
• Generalized region connection calculus
• Lattices and ordered algebraic structures
• Maintaining knowledge about temporal intervals
• Note on a Lemma of Ladkin
• On the algebra of regular sets
• On the complemented disk algebra
• On the skeleton of Stonian p-ortholattices
• Part and complement: Fundamental concepts in spatial relations
• Qualitative spatial representation and reasoning: An overview
• Region-based theory of discrete spaces: A proximity approach
• Region-based theory of space: algebras of regions, representation theory, and logics
• Region-based topology
• Relational Methods in Computer Science
• Stonian p-ortholattices: a new approach to the mereotopology \(RT_{0}\)
• The Lattice of Contact Relations on a Boolean Algebra
• The Theory of Representation for Boolean Algebras
• Topological Representation of Contact Lattices

Cited in

(5)

• scientific article; zbMATH DE number 5898637 (Why is no real title available?)
• On the algebra of regular sets
• An ontological framework for characterizing hydrological flow processes
• Distributive mereotopology: extended distributive contact lattices
• Stonian p-ortholattices: a new approach to the mereotopology \(RT_{0}\)

Describes a project that uses

Uses Software

• Prover9

This page was built for publication: Complementation in representable theories of region-based space

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1949166)