Afficher la notice abrégée

hal.structure.identifierLinguistic signs, grammar and meaning: computational logic for natural language [SIGNES]
hal.structure.identifierLaboratoire Bordelais de Recherche en Informatique [LaBRI]
dc.contributor.authorRETORÉ, Christian
dc.date.accessioned2024-04-15T09:47:02Z
dc.date.available2024-04-15T09:47:02Z
dc.date.created2011-08-24
dc.identifier.urihttps://oskar-bordeaux.fr/handle/20.500.12278/198060
dc.description.abstractAfin 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.abstractEnIn 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.isoen
dc.subject.enlogic
dc.subject.entype theory
dc.subject.ennatural language semantics
dc.title.enOn the system F as a glue language for natural-language compositional-semantics
dc.typeDocument de travail - Pré-publication
dc.subject.halSciences de l'Homme et Société/Linguistique
dc.subject.halMathématiques [math]/Logique [math.LO]
dc.subject.halInformatique [cs]/Logique en informatique [cs.LO]
dc.identifier.arxiv1108.5084
bordeaux.hal.laboratoriesLaboratoire Bordelais de Recherche en Informatique (LaBRI) - UMR 5800*
bordeaux.institutionUniversité de Bordeaux
bordeaux.institutionBordeaux INP
bordeaux.institutionCNRS
hal.identifierinria-00616704
hal.version1
hal.audienceNon spécifiée
hal.origin.linkhttps://hal.archives-ouvertes.fr//inria-00616704v1
bordeaux.COinSctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.au=RETOR%C3%89,%20Christian&rft.genre=preprint


Fichier(s) constituant ce document

FichiersTailleFormatVue

Il n'y a pas de fichiers associés à ce document.

Ce document figure dans la(les) collection(s) suivante(s)

Afficher la notice abrégée