Individuation Criteria, Dot-types and Copredication: A View from Modern Type Theories

Stergios Chatzikyriakidis (1) , Zhaohui Luo (2)

1 GU - Göteborgs Universitet = University of Gothenburg
2 Department of Computer Science [Royal Holloway]

In this paper we revisit the issue of copredica-tion from the perspective of modern type theories. Specifically, we look at: a) the counting properties of dot-types, and b) the case of a complex dot-type that has remained unsolved in the literature, i.e. that of newspaper. As regards a), we show that the account proposed in (Luo, 2010) for dot-types makes the correct predictions as regards counting. In order to verify this, we implement the account in the Coq proof-assistant and check that the desired inferences follow. Then, we look at the case of b), the case of a dot-type which is both resource and context sensitive. We propose a further resource sensitive version of the dot-type, in effect a linear dot-type. This along with local coercions can account for the behaviour attested.

Domaines: Informatique [cs]

Stergios Chatzikyriakidis, Zhaohui Luo. Individuation Criteria, Dot-types and Copredication: A View from Modern Type Theories. ACL anthology, Jul 2015, Chicago, France. ⟨10.3115/v1/W15-2304⟩. ⟨hal-01216596⟩