Ludique : une logique sans axiome d'identité
Language
fr
Document de travail - Pré-publication
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 ...Read more >
English Abstract
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 ...Read more >
Keywords
Ludique
logique de ressources
Logique linéaire
English Keywords
Ludics
resource sensitive logics
Linear Logic
fallacies
ANR Project
Vers une pragmatique théorique basée sur la théorie des continuations et sur la ludique - ANR-06-BLAN-0032