La propriété de normalisation pour des calculs logiques symétriques

TEL :: [tel-00419492, version 1]
http://tel.archives-ouvertes.fr/tel-00419492/en/
Dans les années quatre-vingts-dix, on a remarqué ce que l'isomorphisme de Curry-Howard peut être étendu à la logique classique. De nombreux calculs ont été développés pour constituer la base de cette extension. On étudie dans cette thèse quelques uns de ces calculs.
...