Abstract. We provide a model-theoretic framework for investigating and comparing a variety of mereotopological theories with respect to (i) the intended interpretation of their connection primitives, and (ii) the composition of their intended domains (e.g., whether or not they allow for boundary elements).
Anthony G. Cohn, Achille C. Varzi