Ludique : une logique sans axiome d'identité
Idioma
fr
Document de travail - Pré-publication
Resumen
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 ...Leer más >
Resumen en inglés
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 ...Leer más >
Palabras clave
Ludique
logique de ressources
Logique linéaire
Palabras clave en inglés
Ludics
resource sensitive logics
Linear Logic
fallacies
Proyecto ANR
Vers une pragmatique théorique basée sur la théorie des continuations et sur la ludique - ANR-06-BLAN-0032