As a guest user you are not logged in or recognized by your IP address. You have
access to the Front Matter, Abstracts, Author Index, Subject Index and the full
text of Open Access publications.
This paper presents a new mereological approach to formalizing geometric notions of incidence, congruence, and parallelism over extended regions. The axiomatization was built extending a decidable pre-mereological base language, showing where the geometric framework requires first-order extension. Important outcomes are in the investigation of how to define incidence between extended geometric objects that are suitable candidates to replace points, lines, and planes in a purely region-based first-order framework. Moreover, the mereogeometric approach proposed is shown to have a key advantage in allowing dimensionality to be a relative concept in contrast to it being an absolute concept encoded in the types of geometric entities. Especially this property, one may conclude, could make mereogeometry attractive for formalizing geometric relations in a cognitively adequate manner for applications that require the same flexibility of switching between conceptualizations of space of different dimensionality as human beings show in language use.
This website uses cookies
We use cookies to provide you with the best possible experience. They also allow us to analyze user behavior in order to constantly improve the website for you. Info about the privacy policy of IOS Press.
This website uses cookies
We use cookies to provide you with the best possible experience. They also allow us to analyze user behavior in order to constantly improve the website for you. Info about the privacy policy of IOS Press.