Switch to: References

Add citations

You must login to add citations.
  1. 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 (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  • 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 (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  • Generalized Region Connection Calculus.Sanjiang Li & Mingsheng Ying - 2004 - Artificial Intelligence 160 (1-2):1-34.
  • 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  
  • On the Homogeneous Countable Boolean Contact Algebra.Ivo Düntsch & Sanjiang Li - 2013 - Logic and Logical Philosophy 22 (2):213-251.
    In a recent paper, we have shown that the class of Boolean contact algebras (BCAs) has the hereditary property, the joint embedding property and the amalgamation property. By Fraïssé’s theorem, this shows that there is a unique countable homogeneous BCA. This paper investigates this algebra and the relation algebra generated by its contact relation. We first show that the algebra can be partitioned into four sets {0}, {1}, K, and L, which are the only orbits of the group of base (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • The complexity of constraint satisfaction problems for small relation algebras.M. Cristani & R. Hirsch - 2004 - Artificial Intelligence 156 (2):177-196.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark