Afficher la notice abrégée

hal.structure.identifierStructures Formelles du Langage [SFL]
hal.structure.identifierLinguistic signs, grammar and meaning: computational logic for natural language [SIGNES]
dc.contributor.authorLECOMTE, Alain
hal.structure.identifierInstitut de mathématiques de Luminy [IML]
dc.contributor.authorQUATRINI, Myriam
dc.date.accessioned2024-04-15T09:50:08Z
dc.date.available2024-04-15T09:50:08Z
dc.date.created2009-06
dc.date.issued2009-06
dc.identifier.urihttps://oskar-bordeaux.fr/handle/20.500.12278/198310
dc.description.abstractEn ludique, les preuves ont une interprétation fournie par les contre-preuves auxquelles elles sont opposées. Nous suivons la même idée en proposant que la signification des phrases se définisse en termes des contre-significations avec lesquelles elles interagissent dans une interaction dialectique.
dc.description.abstractEnProofs, in Ludics, have an interpretation provided by their counter-proofs, that is the objects they interact with. We follow the same idea by proposing that sentence meanings are given by the counter-meanings they are opposed to in a dialectical interaction. The conception is at the intersection of a proof-theoretic and a game-theoretic accounts of semantics, but it enlarges them by allowing to deal with possibly infinite processes.
dc.description.sponsorshipVers une pragmatique théorique basée sur la théorie des continuations et sur la ludique - ANR-06-BLAN-0032
dc.language.isoen
dc.publisherSpringer
dc.subjectSémantique
dc.subjectpragmatique
dc.subjectludique
dc.subjectdialogue
dc.subjectjeux
dc.subject.enSemantics
dc.subject.enPragmatics
dc.subject.enfallacies
dc.subject.enLudics
dc.subject.enGames
dc.title.enLudics and its Applications to natural Language Semantics
dc.typeArticle de revue
dc.subject.halSciences de l'Homme et Société/Linguistique
dc.subject.halInformatique [cs]/Informatique et langage [cs.CL]
dc.identifier.arxiv0910.1484
bordeaux.journalLecture Notes in Artificial Intelligence
bordeaux.pagepp 242--255
bordeaux.volumeLNAI
bordeaux.hal.laboratoriesLaboratoire Bordelais de Recherche en Informatique (LaBRI) - UMR 5800*
bordeaux.issue5514
bordeaux.institutionUniversité de Bordeaux
bordeaux.institutionBordeaux INP
bordeaux.institutionCNRS
bordeaux.peerReviewedoui
hal.identifierhal-00422680
hal.version1
hal.popularnon
hal.audienceInternationale
hal.origin.linkhttps://hal.archives-ouvertes.fr//hal-00422680v1
bordeaux.COinSctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.jtitle=Lecture%20Notes%20in%20Artificial%20Intelligence&rft.date=2009-06&rft.volume=LNAI&rft.issue=5514&rft.spage=pp%20242--255&rft.epage=pp%20242--255&rft.au=LECOMTE,%20Alain&QUATRINI,%20Myriam&rft.genre=article


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