Abstract

In this paper, we aim at giving a logical account of the representationalist view of minimalist grammars by referring to the notion of Proof-Net in Linear Logic. We propose, at the same time, a hybrid logic which mixes one logic (Lambek calculus) for building up elementary proofs and another one for combining the proofs so obtained. Because the first logic is non-commutative and the second one is commutative, this brings us a way to combine commutativity and non-commutativity in the same framework. The dynamic of cut-elimination in proof-nets is used to formalise the move-operation. Otherwise, we advocate a proof-net formalism which allows us to consider formulae as nodes to which it is possible to assign weights which determine the final phonological interpretation.

Keyword