Complementation in representable theories of region-based space

DOI10.1215/00294527-1731344zbMath1262.68164MaRDI 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

zbMATH Keywords

complementation; mereotopology; contact algebras; spatial representability

Mathematics Subject Classification ID

68T27: Logic in artificial intelligence

06C15: Complemented lattices, orthocomplemented lattices and posets

54H10: Topological representations of algebraic systems

Uses Software

• Prover9