Modélisation logique de la langue et grammaires catégorielles abstraites

Abstract : This thesis focuses on the modelisation of syntax and syntax-semantics interface of sentences, and investigate how the control of the surgeneration caused by the treatment of linguistics movements with higher order types can take place at the level of derivation structures. For this purpose, we look at the possibility to extend the type system of Abstract Categorial Grammars with the constructions of disjoint sum, cartesian product and dependent product, which enable syntactic categories to be labeled by feature structures. At first, we demonstrate that the calculus associated with this extension enjoy the properties of confluence and normalization, by which beta-equivalence can be computed in the grammatical formalism. We also reduce the same problem for beta-eta-equivalence to a few hypothesis. Then, we show how this feature structures can be used to control linguistics movements, through the examples of case constraints, extraction islands for overt and covert movements and multiples interrogative extractions, and we discuss the relevancy of operating these controls on the derivation structures
Complete list of metadatas

Cited literature [61 references]  Display  Hide  Download

https://hal.univ-lorraine.fr/tel-01750628
Contributor : Thèses Ul <>
Submitted on : Thursday, March 29, 2018 - 12:50:55 PM
Last modification on : Tuesday, April 24, 2018 - 1:30:08 PM

File

DDOC_T_2013_0283_POMPIGNE.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : tel-01750628, version 1

Collections

Citation

Florent Pompigne. Modélisation logique de la langue et grammaires catégorielles abstraites. Autre [cs.OH]. Université de Lorraine, 2013. Français. ⟨NNT : 2013LORR0283⟩. ⟨tel-01750628⟩

Share

Metrics

Record views

49

Files downloads

39