Journal of Philosophical Logic 27 (6):621-658 (1998)
|Abstract||This paper presents a calculus for mereotopological reasoning in which two-dimensional spatial regions are treated as primitive entities. A first order predicate language with a distinguished unary predicate c(x), function-symbols , · and – and constants 0 and 1 is defined. An interpretation for is provided in which polygonal open subsets of the real plane serve as elements of the domain. Under this interpretation the predicate c(x) is read as region x is connected and the function-symbols and constants are given their meaning in terms of a Boolean algebra of polygons. We give an alternative interpretation based on the real closed plane which turns out to be isomorphic to A set of axioms and a rule of inference are introduced. We prove the soundness and completeness of the calculus with respect to the given interpretation.|
|Keywords||No keywords specified (fix it)|
|Through your library||Configure|
Similar books and articles
Wil Dekkers, Martin Bunder & Henk Barendregt (1998). Completeness of the Propositions-as-Types Interpretation of Intuitionistic Logic Into Illative Combinatory Logic. Journal of Symbolic Logic 63 (3):869-890.
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.
Henk Barendregt, Martin Bunder & Wil Dekkers (1993). Systems of Illative Combinatory Logic Complete for First-Order Propositional and Predicate Calculus. Journal of Symbolic Logic 58 (3):769-788.
Masanao Ozawa (1995). Scott Incomplete Boolean Ultrapowers of the Real Line. Journal of Symbolic Logic 60 (1):160-171.
V. B. Shehtman (1983). Modal Logics of Domains on the Real Plane. Studia Logica 42 (1):63 - 80.
Ivo DÜntsch, Gunther Schmidt & Michael Winter (2001). A Necessary Relation Algebra for Mereotopology. Studia Logica 69 (3):381 - 409.
Ian Pratt-Hartmann & Dominik Schoop (2002). Elementary Polyhedral Mereotopology. Journal of Philosophical Logic 31 (5):469-498.
Ian Pratt & Oliver Lemon (1997). Ontologies for Plane, Polygonal Mereotopology. Notre Dame Journal of Formal Logic 38 (2):225-245.
Victor Pambuccian (2004). The Simplest Axiom System for Plane Hyperbolic Geometry. Studia Logica 77 (3):385 - 411.
Ian Pratt & Dominik Schoop (2000). Expressivity in Polygonal, Plane Mereotopology. Journal of Symbolic Logic 65 (2):822-838.
Added to index2009-01-28
Total downloads2 ( #232,382 of 549,065 )
Recent downloads (6 months)1 ( #63,185 of 549,065 )
How can I increase my downloads?