A necessary relation algebra for mereotopology

DOI10.1023/A:1013892110192zbMath0993.03086MaRDI QIDQ5959762

Ivo Duentsch, Michael Winter, Gunther Schmidt

Publication date: 11 April 2002

Published in: Studia Logica (Search for Journal in Brave)

zbMATH Keywords

relation algebramereologymereotopology

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Cylindric and polyadic algebras; relation algebras (03G15)

Related Items (7)

Heyting mereology as a framework for spatial reasoning ⋮ New work for Carnap's quasi-analysis ⋮ A Proximity Approach to Some Region-Based Theories of Space ⋮ A proof system for contact relation algebras ⋮ The complexity of constraint satisfaction problems for small relation algebras ⋮ Generalized region connection calculus ⋮ On the complemented disk algebra

This page was built for publication: A necessary relation algebra for mereotopology