David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Ezio Di Nucci
Jack Alan Reynolds
Learn more about PhilPapers
Journal of Symbolic Logic 65 (2):822-838 (2000)
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)|
|Categories||categorize this paper)|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library|
References found in this work BETA
No references found.
Citations of this work BETA
Ian Pratt-Hartmann (2002). A Topological Constraint Language with Component Counting. Journal of Applied Non-Classical Logics 12 (3-4):441-467.
Ivo Düntsch & Ewa Orłowska (2000). A Proof System for Contact Relation Algebras. Journal of Philosophical Logic 29 (3):241-262.
Stefano Borgo & Claudio Masolo (2010). Full Mereogeometries. Review of Symbolic Logic 3 (4):521-567.
Jochen Renz (2002). A Canonical Model of the Region Connection Calculus. Journal of Applied Non-Classical Logics 12 (3-4):469-494.
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):229 - 254.
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 downloads10 ( #323,960 of 1,792,063 )
Recent downloads (6 months)2 ( #344,915 of 1,792,063 )
How can I increase my downloads?