Réseaux de Preuves

Une représentation graphique et canonique des preuves pour des fragments de la logique linéaire où formules et connexions deviennent nœuds et liens ; les réseaux de preuves mettent au jour le parallélisme, éliminent la bureaucratie syntaxique des preuves en sequent et permettent des critères de correction graphiques ainsi qu'une élimination des coupures par transformations locales de graphe.