Ludique : une logique sans axiome d'identité
Langue
fr
Document de travail - Pré-publication
Résumé
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 ...Lire la suite >
Résumé en anglais
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 ...Lire la suite >
Mots clés
Ludique
logique de ressources
Logique linéaire
Mots clés en anglais
Ludics
resource sensitive logics
Linear Logic
fallacies
Project ANR
Vers une pragmatique théorique basée sur la théorie des continuations et sur la ludique - ANR-06-BLAN-0032