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
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


  • HAL Id : tel-00354041, version 1



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



Record views


Files downloads