Individuation Criteria, Dot-types and Copredication: A View from Modern Type Theories
Stergios Chatzikyriakidis, Zhaohui Luo · 2015
In this paper we revisit the issue of copredication 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 dottype, in effect a linear dot-type.This along with local coercions can account for the behaviour attested.