Switch to: References

Add citations

You must login to add citations.
  1. Heyting Mereology as a Framework for Spatial Reasoning.Thomas Mormann - 2013 - Axiomathes 23 (1):137- 164.
    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 overcome its congenital limitations. The allegedly unmereological concept of (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • New Work for Carnap’s Quasi-Analysis.Thomas Mormann - 2009 - Journal of Philosophical Logic 38 (3):249-282.
    Carnap’s quasi-analysis is usually considered as an ingenious but definitively flawed approach in epistemology and philosophy of science. In this paper it is argued that this assessment is mistaken. Quasi-analysis can be reconstructed as a representational theory of constitution of structures that has applications in many realms of epistemology and philosophy of science. First, existence and uniqueness theorems for quasi-analytical representations are proved. These theorems defuse the classical objections against the quasi-analytical approach launched forward by Goodman and others. Secondly, the (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • Generalized Region Connection Calculus.Sanjiang Li & Mingsheng Ying - 2004 - Artificial Intelligence 160 (1-2):1-34.
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • A Proximity Approach to Some Region-Based Theories of Space.Dimiter Vakarelov, Georgi Dimov, Ivo Düntsch & Brandon Bennett - 2002 - Journal of Applied Non-Classical Logics 12 (3-4):527-559.
    This paper is a continuation of [VAK 01]. The notion of local connection algebra, based on the primitive notions of connection and boundedness, is introduced. It is slightly different but equivalent to Roeper's notion of region-based topology [ROE 97]. The similarity between the local proximity spaces of Leader [LEA 67] and local connection algebras is emphasized. Machinery, analogous to that introduced by Efremovi?c [EFR 51],[EFR 52], Smirnov [SMI 52] and Leader [LEA 67] for proximity and local proximity spaces, is developed. (...)
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  • The complexity of constraint satisfaction problems for small relation algebras.M. Cristani & R. Hirsch - 2004 - Artificial Intelligence 156 (2):177-196.
    Download  
     
    Export citation  
     
    Bookmark