-
1585Heyting Mereology as a Framework for Spatial ReasoningAxiomathes 23 (1). 2013.In this paper it is shown that Heyting and Co-Heyting mereological systems provide a convenient conceptual framework for spatial reasoning, in which spatial concepts such as connectedness, interior parts, (exterior) contact, and boundary can be defined in a natural and intuitively appealing way. This fact refutes the wide-spread contention that mereology cannot deal with the more advanced aspects of spatial reasoning and therefore has to be enhanced by further non-mereological concepts to overc…Read more
Ludwig Maximilians Universität, München
Faculty of Philosophy, Philosophy of Science and Study of Religion
PhD, 1995
Donostia-San Sebastián, PV, Spain
PhilPapers Editorships
Rudolf Carnap |