Complementation in representable theories of region-based space

DOI10.1215/00294527-1731344zbMATH Open1262.68164OpenAlexW2144930856MaRDI QIDQ1949166FDOQ1949166

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

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

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)

Cites Work

• Maintaining knowledge about temporal intervals
• The Theory of Representation for Boolean Algebras
• Lattices and ordered algebraic structures
• Title not available (Why is that?)
• Title not available (Why is that?)
• Qualitative spatial representation and reasoning: An overview
• 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
• The Lattice of Contact Relations on a Boolean Algebra
• A calculus of individuals based on 'connection'
• Boolean connection algebras: A new approach to the Region-Connection Calculus
• On the complemented disk algebra
• Stonian p-ortholattices: a new approach to the mereotopology \(RT_{0}\)
• On the algebra of regular sets
• On the skeleton of Stonian p-ortholattices
• Topological Representation of Contact Lattices
• Distributive contact lattices: topological representations
• Region-based topology
• Part and complement: Fundamental concepts in spatial relations
• Connection structures
• Title not available (Why is that?)
• Generalized region connection calculus
• Continuous lattices and Whiteheadian theory of space
• Relational Methods in Computer Science
• Note on a Lemma of Ladkin

Cited In (3)

• An Ontological Framework for Characterizing Hydrological Flow Processes
• Distributive mereotopology: extended distributive contact lattices
• Title not available (Why is that?)

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)