Journal of Symbolic Logic 65 (2):822-838 (2000)
|Abstract||In recent years, there has been renewed interest in the development of formal languages for describing mereological (part-whole) and topological relationships between objects in space. Typically, the non-logical primitives of these languages are properties and relations such as `x is connected' or `x is a part of y', and the entities over which their variables range are, accordingly, not points, but regions: spatial entities other than regions are admitted, if at all, only as logical constructs of regions. This paper considers two first-order mereotopological languages, and investigates their expressive power. It turns out that these languages, notwithstanding the simplicity of their primitives, are surprisingly expressive. In particular, it is shown that infinitary versions of these languages are adequate to express (in a sense made precise below) all topological relations over the domain of polygons in the closed plane|
|Keywords||No keywords specified (fix it)|
|Through your library||Configure|
Similar books and articles
Fabrice Correia (2007). Modality, Quantification, and Many Vlach-Operators. Journal of Philosophical Logic 36 (4):473 - 488.
Bart Kuijpers, Jan Paredaens & Jan Van Den Bussche (2000). Topological Elementary Equivalence of Closed Semi-Algebraic Sets in the Real Plane. Journal of Symbolic Logic 65 (4):1530-1555.
Peter Forrest (2010). Mereotopology Without Mereology. Journal of Philosophical Logic 39 (3).
Ivo DÜntsch, Gunther Schmidt & Michael Winter (2001). A Necessary Relation Algebra for Mereotopology. Studia Logica 69 (3):381 - 409.
Patrick Blackburn & Jerry Seligman (1995). Hybrid Languages. Journal of Logic, Language and Information 4 (3):251-272.
Maureen Donnelly & Barry Smith (2003). Layers: A New Approach to Locating Objects in Space. In W. Kuhn M. F. Worboys & S. Timpf (eds.), Spatial Information Theory: Foundations of Geographic Information Science. Springer.
Ian Pratt & Oliver Lemon (1997). Ontologies for Plane, Polygonal Mereotopology. Notre Dame Journal of Formal Logic 38 (2):225-245.
Ian Pratt-Hartmann & Dominik Schoop (2002). Elementary Polyhedral Mereotopology. Journal of Philosophical Logic 31 (5):469-498.
Ian Pratt & Dominik Schoop (1998). A Complete Axiom System for Polygonal Mereotopology of the Real Plane. Journal of Philosophical Logic 27 (6):621-658.
Added to index2009-01-28
Total downloads2 ( #232,381 of 549,067 )
Recent downloads (6 months)0
How can I increase my downloads?