AMBLARD, Maxime; LECOMTE, Alain; RETORÉ, Christian

Metadatos

Licencia de uso del documento

AMBLARD, Maxime
Linear logic, proof networks and categorial grammars [CALLIGRAMME]

LECOMTE, Alain
Linguistic signs, grammar and meaning: computational logic for natural language [SIGNES]
Structures Formelles du Langage [SFL]

RETORÉ, Christian
Linguistic signs, grammar and meaning: computational logic for natural language [SIGNES]
Laboratoire Bordelais de Recherche en Informatique [LaBRI]

Idioma

Article de revue

Este ítem está publicado en

Linguistic Analysis. 2010-12, vol. 36, n° 1--4, p. 273--306

David R. Willingham

Resumen en inglés

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.< Leer menos

Palabras clave

syntax

semantics

categorial grammar

minimalist grammar

minimalism

DRT

lambda-DRT

Montague semantics

linear logic

URI

https://oskar-bordeaux.fr/handle/20.500.12278/198170

Proyecto ANR

Locativité et Interaction en Logique, Linguistique et Informatique - ANR-10-BLAN-0212

Orígen

Importado de Hal

Centros de investigación

Laboratoire Bordelais de Recherche en Informatique (LaBRI) - UMR 5800