A linnear-logical approach to some syntactic-semantic phenomena in romance languages

Non-commutative linear logic is used in this paper in order to give a representation of some syntacticosemantic problems which occur mainly in romance languages like: discontinuous constituants (see the negation in French for instance) and cliticization. The central idea is that several processes can be achieved in parallel when parsing a sentence, for instancea process of consumption of valencies and a process of synchronization between separate parts of a discontinuous sign. When signs are properly designed, ungrammatical sentences like: * je vois ne pas Marie or * je vois Marie ne pas are ruled out, and in the same veine, sentences like *il lui le donne or * il le donne lui . Moreover, using linear-logical operators allows us to obtain a nice representation of the process of production of a semantic interpretation. The whole enterprise belongs to the "grammar as proof-theory"-paradigm. En el presente articulo se utiliza la logica lineal no conmutativa para dar una representacion de algunos problemas sintactico-semanticos que ocurren preferentemente en las lenguas romànicas, tales como constituyentes discontinuos (por ejemplo, el caso de la negacion en francés) o los cliticos. La idea central es que se pueden realizar varios procesos en paralelo cuando se hace un parsing de una oracion y que la logica lineal ha sido creada justamente para describir procesos paralelos. Asi por ejemplo un proceso de consumicion de valencias y un proceso de sincronizacion entre partes separadas de un signo discontinuo se pueden realizar en paralelo. Si los signos son diseñados correctamente, quedan excluidas oraciones agramaticales como: * je vois ne pas Marie , o * je vois Marie pas ; e igualmente quedan excluidas oraciones como: * il lui le donne o * il le donne lui , etc. Ademas, el uso de operadores logico-lineales, nos permite representar el proceso de produccion de una interpretacion semantica de una manera elegante. El presente trabajo se incluye en el paradigma "grammar as proof-theory".