Logique linéaire et syntaxe des langues - TEL - Thèses en ligne Accéder directement au contenu
Hdr Année : 2002

Linear logic and natural language syntax

Logique linéaire et syntaxe des langues

Résumé

A large part of the results deal with the proof ents of linear logic and coherence semantics. These results focus on the non commutaitve variants of linear logic, either in the style of Lambek-Abrusci calculi or in the style of the author's pomset logic. These results are thereafter applied to the modelling of natural language syntax, with categorial grammars, TAGs as expected, but also with Stabler's minimalist grammars that linear logic can encode. For any encoded grammar system, the computation of semantic representation is enlightened.
Une bonne partie des résultats contenus dans ce travail portent sur les réseaux de démonstration de la logique linéaire ainsi que sur la sémantique des espaces cohérents. Ces résultats concernent plus particulièrement les variantes non commutatives de la logique linéaire que ce soit à la Lambek-Abrusci ou dans le calcul ordonné de l'auteur. Ils sont ensuite appliqués à la syntaxe du langage naturel, modélisée bien évidemment par les grammaires catégorielles, les TAGS, mais aussi par les grammaires minimalistes de Stabler que l'on peut aussi simuler en logique linéaire. Pour tous ces systèmes grammaticaux, le calcul de représentations sémantiques est explicité.
Fichier principal
Vignette du fichier
retore_hdr_a4.pdf (834.68 Ko) Télécharger le fichier
Loading...

Dates et versions

tel-00354041 , version 1 (18-01-2009)

Identifiants

  • HAL Id : tel-00354041 , version 1

Citer

Christian Retoré. Logique linéaire et syntaxe des langues. Mathématiques [math]. Université de Nantes, 2002. ⟨tel-00354041⟩
342 Consultations
1209 Téléchargements

Partager

Gmail Facebook X LinkedIn More