Switch to: Citations

Add references

You must login to add references.
  1. A calculus of individuals based on "connection".Bowman L. Clarke - 1981 - Notre Dame Journal of Formal Logic 22 (3):204-218.
    Although Aristotle (Metaphysics, Book IV, Chapter 2) was perhaps the first person to consider the part-whole relationship to be a proper subject matter for philosophic inquiry, the Polish logician Stanislow Lesniewski [15] is generally given credit for the first formal treatment of the subject matter in his Mereology.1 Woodger [30] and Tarski [24] made use of a specific adaptation of Lesniewski's work as a basis for a formal theory of physical things and their parts. The term 'calculus of individuals' was (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   67 citations  
  • A Spatial Logic Based on Regions and Connection.David Randell, Cui A., Cohn Zhan & G. Anthony - 1992 - KR 92:165--176.
    No categories
     
    Export citation  
     
    Bookmark   55 citations