Quelques thérapies en logique des types pour le problème de Sapir
Michael Moortgat · Langages · 2002
In this paper, I compare two grammar formalisms that have their roots in the categorial type calculus of Lambek 1958: the pregroup grammars of Lambek (1999) and the multimodal type-logical grammars of Moortgat (1996, 1997). The core components of these two frameworks have the limited expressive capabilities of context-free grammars. Natural languages exhibit structural patterns that require analytical tools stronger than context-free. Pregroup grammars and multimodal type-logics follow different strategies to achieve the required extra expressivity: closing type assignment under metarules in the case of the former, and combining a base component with a module of structural postulates for the latter. Using the Dutch crossing dependencies as a benchmark test, I contrast these strategies, and evaluate how they deal with problems of undergeneration and overgeneration.