We analyze and compare geometrical theories based on mereology (mereogeo- metries). Most theories in this area lack in formalization, and this prevents any systematic logical analysis. To overcome this problem, we concentrate on specific interpretations for the primitives and use them to isolate comparable models for each theory. Relying on the chosen interpretations, we in- troduce the notion of environment structure, that is, a minimal structure that contains a (sub)structure for each theory. In particular, in the case of mereogeometries, the domain of an environment structure is composed of particular subsets of Rn. The comparison of mereogeometrical theories within these environment structures shows dependencies among primitives and provides (relative) definitional equivalences. With one exception, we show that all the theories considered are equivalent in these environment structures.
Cambridge University Press,, Cambridge , Regno Unito
The review of symbolic logic (Print) 3 (2010): 521–567. doi:10.1017/S1755020310000110
info:cnr-pdr/source/autori:Borgo S.; Masolo C./titolo:Full mereogeometries/doi:10.1017/S1755020310000110/rivista:The review of symbolic logic (Print)/anno:2010/pagina_da:521/pagina_a:567/intervallo_pagine:521–567/volume:3