Ludique : une logique sans axiome d'identité
hal.structure.identifier | Structures Formelles du Langage [SFL] | |
hal.structure.identifier | Linguistic signs, grammar and meaning: computational logic for natural language [SIGNES] | |
dc.contributor.author | LECOMTE, Alain | |
dc.date.accessioned | 2024-04-15T09:50:07Z | |
dc.date.available | 2024-04-15T09:50:07Z | |
dc.date.created | 2008-11 | |
dc.identifier.uri | https://oskar-bordeaux.fr/handle/20.500.12278/198309 | |
dc.description.abstract | En 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.abstractEn | In 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.sponsorship | Vers une pragmatique théorique basée sur la théorie des continuations et sur la ludique - ANR-06-BLAN-0032 | |
dc.language.iso | fr | |
dc.subject | Ludique | |
dc.subject | logique de ressources | |
dc.subject | Logique linéaire | |
dc.subject.en | Ludics | |
dc.subject.en | resource sensitive logics | |
dc.subject.en | Linear Logic | |
dc.subject.en | fallacies | |
dc.title | Ludique : une logique sans axiome d'identité | |
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 | Sciences de l'Homme et Société/Philosophie | |
dc.identifier.arxiv | 0910.1483 | |
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 | hal-00422691 | |
hal.version | 1 | |
hal.audience | Non spécifiée | |
hal.origin.link | https://hal.archives-ouvertes.fr//hal-00422691v1 | |
bordeaux.COinS | ctx_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
Fichiers | Taille | Format | Vue |
---|---|---|---|
Il n'y a pas de fichiers associés à ce document. |