 |
|
|
|
| HAL : hal-00545748, version 1 |
| arXiv : 1012.2661 |
| Fiche détaillée |  Récupérer au format |
|
|
| Linguistic Analysis 36, 1--4 (2010) 273--306 |
|
|
|
|
| Categorial Minimalist Grammar: From Generative Syntax To Logical Form |
|
|
| Maxime Amblard 1Alain Lecomte 2, 3 |
|
|
| (12/2010) |
|
|
|
| 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. |
|
|
|
|
|
|
|
|
|
|
|
| 1 : | CALLIGRAMME (INRIA Lorraine - LORIA) |
|
|
|
INRIA – CNRS : UMR7503 – Université Henri Poincaré - Nancy I – Université Nancy II – Institut National Polytechnique de Lorraine (INPL) |
|
|
| 2 : | SIGNES (INRIA Bordeaux - Sud-Ouest) |
|
|
|
INRIA – CNRS : UMR5800 – Université Sciences et Technologies - Bordeaux I – Université Michel de Montaigne - Bordeaux III – École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB) |
|
|
| 3 : | Structures Formelles du Langage (SFL) |
|
|
|
CNRS : UMR7023 – Université Paris VIII - Vincennes Saint-Denis |
|
|
| 4 : | Laboratoire Bordelais de Recherche en Informatique (LaBRI) |
|
|
|
CNRS : UMR5800 – Université Sciences et Technologies - Bordeaux I – École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB) – Université Victor Segalen - Bordeaux II |
|
|
|
|
|
|
|
|
|
| Domaine | : | Sciences de l'Homme et Société/Linguistique Informatique/Informatique et langage Sciences cognitives/Linguistique Mathématiques/Logique |
|
|
| syntax – semantics – categorial grammar – minimalist grammar – minimalism – DRT – lambda-DRT – Montague semantics – linear logic |
|
|
|
| Liste des fichiers attachés à ce document : | ||||||||||
|
||||||||||
|
|
|
| hal-00545748, version 1 | |
| http://hal.archives-ouvertes.fr/hal-00545748 | |
| oai:hal.archives-ouvertes.fr:hal-00545748 | |
| Contributeur : Christian Retore | |
| Soumis le : Dimanche 12 Décembre 2010, 23:15:30 | |
| Dernière modification le : Dimanche 2 Janvier 2011, 22:38:46 | |
