Skip to Main content Skip to Navigation
Habilitation à diriger des recherches

Logique linéaire et syntaxe des langues

Abstract : 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.
Complete list of metadatas

Cited literature [284 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-00354041
Contributor : Christian Retoré <>
Submitted on : Sunday, January 18, 2009 - 12:19:56 AM
Last modification on : Friday, October 23, 2020 - 4:54:26 PM
Long-term archiving on: : Tuesday, June 8, 2010 - 5:52:23 PM

Identifiers

  • HAL Id : tel-00354041, version 1

Collections

Citation

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

Share

Metrics

Record views

528

Files downloads

1613