Encoding Phases using Commutativity and Non-commutativity in a Logical Framework

Maxime Amblard (1)

1 SEMAGRAMME - Semantic Analysis of Natural Language

This article presents an extension of Minimalist Categorial Gram- mars (MCG) to encode Chomsky's phases. These grammars are based on Par- tially Commutative Logic (PCL) and encode properties of Minimalist Grammars (MG) of Stabler. The first implementation of MCG were using both non- commutative properties (to respect the linear word order in an utterance) and commutative ones (to model features of different constituents). Here, we pro- pose to adding Chomsky's phases with the non-commutative tensor product of the logic. Then we could give account of the PIC just by using logical prop- erties of the framework.

Mots clés: phase; Partially Commutative Logic; syntax; linguistic modeling; generative theory; type theory

Domaines: Informatique; Linguistique; Intelligence artificielle [cs.AI]; Logique en informatique [cs.LO]

Maxime Amblard. Encoding Phases using Commutativity and Non-commutativity in a Logical Framework. 6th International Conference on Logical Aspect of Computational Linguistic - LACL 2011, Jun 2011, Montpellier, France. pp.1--16, ⟨10.1007/978-3-642-22221-4_1⟩. ⟨hal-00601621⟩