Abstract FR:

Les preuves de la logique linéaire ont une structure géométrique originale, celle de graphe apparié: parmi ces graphes, Les réseaux sont ceux qui représentent effectivement une preuve. La thèse définit l'homologie des graphes appariés et montre que celle-ci caractérise les réseaux. Ces résultats sont appliqués à la décision des formules. Est également discutée la complexité algorithmique de ce dernier problème