On the system F as a glue language for natural-language compositional-semantics - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Preprints, Working Papers, ... Year : 2011

On the system F as a glue language for natural-language compositional-semantics

Abstract

In order to model in compositional framework some phenomena of lexical pragmatics and in particular the ones studied by Nicholas Asher several contributions developed in our team did use the system F of Jean-Yves Girard to construct logical formulae expressing the meaning of sentences --- while other authors prefer to use Per Martin-Löf's type theory In this note we explain the motivations supporting our preference for system F.
Afin de modéliser dans un cadre compositionnel des phénomènes de pragmatique lexicale et plus particulièrement ceux étudiés par Nicholas Asher dans notre équipe a utilisé dans divers travaux le système F de Jean-Yves Girard pour construire les formules logiques représentant le sens des énoncés --- là où d'autres auteurs utilisent plutôt la théorie des types de Per Martin-Löf. Nous expliquons dans cette note les raisons de notre préférence.
Fichier principal
Vignette du fichier
systemeF.pdf (137.79 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

inria-00616704 , version 1 (24-08-2011)

Identifiers

  • HAL Id : inria-00616704 , version 1
  • ARXIV : 1108.5084

Cite

Christian Retoré. On the system F as a glue language for natural-language compositional-semantics. 2011. ⟨inria-00616704⟩
142 View
112 Download

Altmetric

Share

Gmail Facebook X LinkedIn More