The technical details of the different versions of the Calculus of Individuals can be found in this supplementary document: The Calculus of Individuals in its different versions  (see also entry on   mereology).