A calculus of individuals based on "connection"

@article{Clarke1981ACO,
  title={A calculus of individuals based on "connection"},
  author={B. L. Clarke},
  journal={Notre Dame J. Formal Log.},
  year={1981},
  volume={22},
  pages={204-218}
}
  • B. L. Clarke
  • Published 1981
  • Philosophy, Computer Science
  • Notre Dame J. Formal Log.
Calcul des individus, dans la ligne de la mereologie de Lesniewski et de ses developpements philosophiques chez Whitehead et Goodman. Le calcul comprend trois parties: une partie mereologique (systematisation des predicats mereologiques), partie quasi booleenne (introduction des operateurs booleens et de l'individu universel), partie quasi topologique (introduction de predicats topologiques). 
A Typology and Discourse Semantics for Motion Verbs and Spatial PPs in French
Étude de la méronymie en russe : des fondements spatiaux aux aspects temporels
CALCULI OF INDIVIDUALS AND SOME EXTENSIONS: AN OVERVIEW
Relations Algebras in Qualitative Spatial Reasoning
...
1
2
3
4
5
...