Complete Extensions of the Calculus of Individuals
Herbert E. Hendry · Noûs · 1982
L'A. decrit plusieurs systemes logiques qui sont des extensions du calcul des individus de Lesniewski, et avance une conjecture sur le nombre d'extensions completes de ce calcul. Il fournit une demonstration de completude pour deux de ces systemes (alors que le calcul elementaire des individus est non complet).