Le modèle relationnel est injectif pour MELL

Carte non disponible

Date/heure
Date(s) - 07/01/2016
11 h 00 min - 12 h 00 min

Catégories Pas de Catégories


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/

Olivier CHABROL
Posts created 14

Articles similaires

Commencez à saisir votre recherche ci-dessus et pressez Entrée pour rechercher. ESC pour annuler.

Retour en haut
Secured By miniOrange