Types for linguistic typologies. A Case Study of Polarity Items.
Raffaela Bernardi · UvA-DARE (University of Amsterdam) · 2001
This paper describes how in categorial type logics (CTL) derivability patterns among types give a precise way to (i) gain a deeper understanding of the typological classifications proposed in the literature of formal linguistics, (ii) carry out cross-linguistic comparisons, (iii) clarify the consequences predicted by the typologies opening the way to further investigations, and (iv) establish new dependency between linguistic phenomena. In particular