Skip to Main content Skip to Navigation
Journal articles

Categorial Minimalist Grammar: From Generative Syntax To Logical Form

Maxime Amblard 1 Alain Lecomte 2, 3 Christian Retoré 2, 4
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é 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
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.
Complete list of metadatas

Cited literature [28 references]  Display  Hide  Download
Contributor : Christian Retoré <>
Submitted on : Sunday, December 12, 2010 - 11:15:30 PM
Last modification on : Tuesday, May 5, 2020 - 11:50:20 AM
Document(s) archivé(s) le : Sunday, March 13, 2011 - 2:31:57 AM


Files produced by the author(s)


  • HAL Id : hal-00545748, version 1
  • ARXIV : 1012.2661


Maxime Amblard, Alain Lecomte, Christian Retoré. Categorial Minimalist Grammar: From Generative Syntax To Logical Form. Linguistic Analysis, David R. Willingham, 2010, 36 (1--4), pp.273--306. ⟨hal-00545748⟩



Record views


Files downloads