Complementation in representable theories of region-based space
type: Item
instance of: scholarly article
title: Complementation in representable theories of region-based space
zbMATH Open document ID: 1262.68164
DOI: 10.1215/00294527-1731344
author: Torsten Hahmann
author: Michael Gruninger
published in: Notre Dame Journal of Formal Logic
publication date: 2013-04-25T00:00:00Z
full work available at URL: https://projecteuclid.org/euclid.ndjfl/1361454974
Mathematics Subject Classification ID: 68T27
Mathematics Subject Classification ID: 54H10
Mathematics Subject Classification ID: 06C15
zbMATH DE Number: 6157721
zbMATH Keywords: mereotopology
zbMATH Keywords: contact algebras
zbMATH Keywords: spatial representability
zbMATH Keywords: complementation
describes a project that uses: Prover9
MaRDI profile type: Publication
OpenAlex ID: W2144930856
cites work: Maintaining knowledge about temporal intervals
cites work: Connection structures
cites work: Lattices and ordered algebraic structures
cites work: A calculus of individuals based on 'connection'
cites work: Qualitative spatial representation and reasoning: An overview
cites work: Q3416080
cites work: Topological Representation of Contact Lattices
cites work: Distributive contact lattices: topological representations
cites work: Region-based theory of discrete spaces: A proximity approach
cites work: A representation theorem for Boolean contact algebras
cites work: Relational Methods in Computer Science
cites work: The Lattice of Contact Relations on a Boolean Algebra
cites work: Note on a Lemma of Ladkin
cites work: Q4399900
cites work: Stonian p-ortholattices: a new approach to the mereotopology \(RT_{0}\)
cites work: On the complemented disk algebra
cites work: Generalized region connection calculus
cites work: Continuous lattices and Whiteheadian theory of space
cites work: Region-based topology
cites work: Q4412300
cites work: Boolean connection algebras: A new approach to the Region-Connection Calculus
cites work: Part and complement: Fundamental concepts in spatial relations
cites work: Q4256200
cites work: The Theory of Representation for Boolean Algebras
cites work: Q3447202
cites work: On the algebra of regular sets
cites work: On the Skeleton of Stonian p-Ortholattices
description: scientific article; zbMATH DE number 6157721