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
dc.date.accessioned2024-04-15T09:50:07Z
dc.date.available2024-04-15T09:50:07Z
dc.date.created2008-11
dc.identifier.urihttps://oskar-bordeaux.fr/handle/20.500.12278/198309
dc.description.abstractEn logique, la non réflexivité signifie l'absence de l'axiome d'identité. La ludique, un cadre logique inventé par J.Y Girard, est justement un système sans identité (de formules), étant basé sur les lieux (loci). de ce fait, elle permet le traitement de phénomènes langagiers comme les "fallacies".
dc.description.abstractEnIn Logic, non reflexivity translates into the absence of the identity axiom. This opens the field to the treatment of many language phenomena, like fallacies. Ludics, a frame invented by J-Y Girard, because it is founded on loci (adresses) and not on formulae, allows such a treatment.
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.isofr
dc.subjectLudique
dc.subjectlogique de ressources
dc.subjectLogique linéaire
dc.subject.enLudics
dc.subject.enresource sensitive logics
dc.subject.enLinear Logic
dc.subject.enfallacies
dc.titleLudique : une logique sans axiome d'identité
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.halSciences de l'Homme et Société/Philosophie
dc.identifier.arxiv0910.1483
bordeaux.hal.laboratoriesLaboratoire Bordelais de Recherche en Informatique (LaBRI) - UMR 5800*
bordeaux.institutionUniversité de Bordeaux
bordeaux.institutionBordeaux INP
bordeaux.institutionCNRS
hal.identifierhal-00422691
hal.version1
hal.audienceNon spécifiée
hal.origin.linkhttps://hal.archives-ouvertes.fr//hal-00422691v1
bordeaux.COinSctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.title=Ludique%20:%20une%20logique%20sans%20axiome%20d'identit%C3%A9&rft.atitle=Ludique%20:%20une%20logique%20sans%20axiome%20d'identit%C3%A9&rft.au=LECOMTE,%20Alain&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