Abstract de la publi numéro 6857

Il est demontre que l'equivalence categorique des derivations dans le fragment multiplicatif de la logique lineaire intuitioniste coincide avec la relation engendree par permiutations des regles dans le style de Kleene.