Daniel de Carvalho

La sémantique relationnelle de la logique linéaire est-elle injective?

(travail en collaboration avec Lorenzo Tortora de Falco)

Pour un certain fragment de la logique linéaire, la relation d'équivalence sur les preuves induite par l'élimination des coupures coïncide avec celle induite par le modèle relationnel basé sur les multiensembles.