On the system F as a glue language for natural-language compositional-semantics
| hal.structure.identifier | Linguistic signs, grammar and meaning: computational logic for natural language [SIGNES] | |
| hal.structure.identifier | Laboratoire Bordelais de Recherche en Informatique [LaBRI] | |
| dc.contributor.author | RETORÉ, Christian | |
| dc.date.accessioned | 2024-04-15T09:47:02Z | |
| dc.date.available | 2024-04-15T09:47:02Z | |
| dc.date.created | 2011-08-24 | |
| dc.identifier.uri | https://oskar-bordeaux.fr/handle/20.500.12278/198060 | |
| dc.description.abstract | 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. | |
| dc.description.abstractEn | 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. | |
| dc.language.iso | en | |
| dc.subject.en | logic | |
| dc.subject.en | type theory | |
| dc.subject.en | natural language semantics | |
| dc.title.en | On the system F as a glue language for natural-language compositional-semantics | |
| dc.type | Document de travail - Pré-publication | |
| dc.subject.hal | Sciences de l'Homme et Société/Linguistique | |
| dc.subject.hal | Mathématiques [math]/Logique [math.LO] | |
| dc.subject.hal | Informatique [cs]/Logique en informatique [cs.LO] | |
| dc.identifier.arxiv | 1108.5084 | |
| bordeaux.hal.laboratories | Laboratoire Bordelais de Recherche en Informatique (LaBRI) - UMR 5800 | * |
| bordeaux.institution | Université de Bordeaux | |
| bordeaux.institution | Bordeaux INP | |
| bordeaux.institution | CNRS | |
| hal.identifier | inria-00616704 | |
| hal.version | 1 | |
| hal.audience | Non spécifiée | |
| hal.origin.link | https://hal.archives-ouvertes.fr//inria-00616704v1 | |
| bordeaux.COinS | ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.au=RETOR%C3%89,%20Christian&rft.genre=preprint |
Files in this item
| Files | Size | Format | View |
|---|---|---|---|
|
There are no files associated with this item. |
|||