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

Métadonnées

Licence d’utilisation du document

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]

Langue

Article de revue

Ce document a été publié dans

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

David R. Willingham

Résumé en anglais

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.< Réduire

Mots clés

syntax

semantics

categorial grammar

minimalist grammar

minimalism

DRT

lambda-DRT

Montague semantics

linear logic

URI

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

Project ANR

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

Origine

Importé de hal

Unités de recherche

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