Categorial Minimalist Grammar: From Generative Syntax To Logical FormReport as inadecuate

Categorial Minimalist Grammar: From Generative Syntax To Logical Form - Download this document for free, or read online. Document in PDF available to download.

1 CALLIGRAMME - Linear logic, proof networks and categorial grammars INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications 2 SIGNES - Linguistic signs, grammar and meaning: computational logic for natural language Université Michel de Montaigne - Bordeaux 3, Université Sciences et Technologies - Bordeaux 1, Inria Bordeaux - Sud-Ouest, École Nationale Supérieure d-Électronique, Informatique et Radiocommunications de Bordeaux ENSEIRB, CNRS - Centre National de la Recherche Scientifique : UMR5800 3 SFL - Structures Formelles du Langage 4 LaBRI - Laboratoire Bordelais de Recherche en Informatique

Abstract : We first recall some basic notions on minimalist grammars and on categorial grammars. Next we shortly introduce partially commutative linear logic, and our representation of minimalist grammars within this categorial system, the so-called categorial minimalist grammars. Thereafter we briefly present λμ-DRT Discourse Representation Theory an extension of λ-DRT compositional DRT in the framework of λμ calculus: it avoids type raising and derives different readings from a single semantic representation, in a setting which follows discourse structure. We run a complete example which illustrates the various structures and rules that are needed to derive a semantic representation from the categorial view of a transformational syntactic analysis.

Mots-clés : syntax semantics categorial grammar minimalist grammar minimalism DRT lambda-DRT Montague semantics linear logic

Author: Maxime Amblard - Alain Lecomte - Christian Retoré -



Related documents