Representations for Rigid Solids: Theory, Methods, and Systems
ACM Computing Surveys (CSUR)
Hi-index | 0.98 |
A ''mereological'' relation is one of ''part-to-whole'' type. This paper proposes a model-theoretic approach to identifying and classifying such relations. Three initial applications of this approach are investigated. In each case, the class of identified relations is found to consist precisely of the partial orders on the underlying set. Further applications are proposed.