Switch to: References

Add citations

You must login to add citations.
  1. A Canonical Model of the Region Connection Calculus.Jochen Renz - 2002 - Journal of Applied Non-Classical Logics 12 (3-4):469-494.
    Although the computational properties of the Region Connection Calculus RCC-8 are well studied, reasoning with RCC-8 entails several representational problems. This includes the problem of representing arbitrary spatial regions in a computational framework, leading to the problem of generating a realization of a consistent set of RCC-8 constraints. A further problem is that RCC-8 performs reasoning about topological space, which does not have a particular dimension. Most applications of spatial reasoning, however, deal with two- or three-dimensional space. Therefore, a consistent (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  • Elementary polyhedral mereotopology.Ian Pratt-Hartmann & Dominik Schoop - 2002 - Journal of Philosophical Logic 31 (5):469-498.
    A region-based model of physical space is one in which the primitive spatial entities are regions, rather than points, and in which the primitive spatial relations take regions, rather than points, as their relata. Historically, the most intensively investigated region-based models are those whose primitive relations are topological in character; and the study of the topology of physical space from a region-based perspective has come to be called mereotopology. This paper concentrates on a mereotopological formalism originally introduced by Whitehead, which (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  • A Topological Constraint Language with Component Counting.Ian Pratt-Hartmann - 2002 - Journal of Applied Non-Classical Logics 12 (3-4):441-467.
    A topological constraint language is a formal language whose variables range over certain subsets of topological spaces, and whose nonlogical primitives are interpreted as topological relations and functions taking these subsets as arguments. Thus, topological constraint languages typically allow us to make assertions such as “region V1 touches the boundary of region V2”, “region V3 is connected” or “region V4 is a proper part of the closure of region V5”. A formula f in a topological constraint language is said to (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  • Point-free geometry, ovals, and half-planes.Giangiacomo Gerla & Rafał Gruszczyński - 2017 - Review of Symbolic Logic 10 (2):237-258.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • A proof system for contact relation algebras.Ivo Düntsch & Ewa Orłowska - 2000 - Journal of Philosophical Logic 29 (3):241-262.
    Contact relations have been studied in the context of qualitative geometry and physics since the early 1920s, and have recently received attention in qualitative spatial reasoning. In this paper, we present a sound and complete proof system in the style of Rasiowa and Sikorski (1963) for relation algebras generated by a contact relation.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  • A necessary relation algebra for mereotopology.Ivo DÜntsch, Gunther Schmidt & Michael Winter - 2001 - Studia Logica 69 (3):381 - 409.
    The standard model for mereotopological structures are Boolean subalgebras of the complete Boolean algebra of regular closed subsets of a nonempty connected regular T 0 topological space with an additional "contact relation" C defined by xCy x ØA (possibly) more general class of models is provided by the Region Connection Calculus (RCC) of Randell et al. We show that the basic operations of the relational calculus on a "contact relation" generate at least 25 relations in any model of the RCC, (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  • Point-free Foundation of Geometry and Multivalued Logic.Cristina Coppola, Giangiacomo Gerla & Annamaria Miranda - 2010 - Notre Dame Journal of Formal Logic 51 (3):383-405.
    Whitehead, in two basic books, considers two different approaches to point-free geometry: the inclusion-based approach , whose primitive notions are regions and inclusion relation between regions, and the connection-based approach , where the connection relation is considered instead of the inclusion. We show that the latter cannot be reduced to the first one, although this can be done in the framework of multivalued logics.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
    		•
  • Full mereogeometries.Stefano Borgo & Claudio Masolo - 2010 - Review of Symbolic Logic 3 (4):521-567.
    We analyze and compare geometrical theories based on mereology (mereogeometries). Most theories in this area lack in formalization, and this prevents any systematic logical analysis. To overcome this problem, we concentrate on specific interpretations for the primitives and use them to isolate comparable models for each theory. Relying on the chosen interpretations, we introduce the notion of environment structure, that is, a minimal structure that contains a (sub)structure for each theory. In particular, in the case of mereogeometries, the domain of (...)
    No categories
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  • Spatial Reasoning and Ontology: Parts, Wholes, and Locations.Achille C. Varzi - 2007 - In Marco Aiello, Ian E. Pratt-Hartmann & Johan van Benthem (eds.), Handbook of Spatial Logics. Springer Verlag. pp. 945-1038.
    A critical survey of the fundamental philosophical issues in the logic and formal ontology of space, with special emphasis on the interplay between mereology (the theory of parthood relations), topology (broadly understood as a theory of qualitative spatial relations such as continuity and contiguity), and the theory of spatial location proper.
    $129.90 used   $208.18 new   (collection)    View on Amazon.com
    Direct download  
     
    Export citation  
     
    Bookmark   29 citations