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

Abstract

En el presente artículo se utiliza la lógica lineal no conmutativa para dar una representación de algunos problemas sintáctico-semánticos que ocurren preferentemente en las lenguas románicas, tales como constituyentes discontinuos (por ejemplo, el caso de la negación en francés) o los clíticos. La idea central es que se puedan realizar varios procesos en paralelo cuando se hace un parsing de una oración y que la lógica lineal ha sido creada justamente para describir procesos paralelos. Así por ejemplo un proceso de consumición de valencias y un proceso de sincronización 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. Además, el uso de operadores lógico-lineales, nos permite representar el proceso de producción de una interpretación semántica de una manera elegante. El presente trabajo se incluye en el paradigma "grammar as proof-theory".

Non-cummulative linear logic is used in this paper in order to give a representation of some syntactico-semantic 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.