Daniel de Carvalho
Innopolis University, Republic of Tatarstan, Russie
https://scholar.google.com/citations?user=AFRx_0kAAAAJ&hl=fr
Date(s) : 07/01/2016 iCal
11 h 00 min - 12 h 00 min
On montre que la sémantique relationnelle est injective pour le fragment multiplicatif exponentiel des réseaux de preuve de la logique linéaire, c’est-à-dire que l’égalité entre les réseaux de preuve de MELL dans le modèle relationnel est exactement axiomatisée par l’élimination des coupures.
http://university.innopolis.ru/en/research/
Catégories