Retour à la page du séminaire

Seminaire PPS 11h : Thomas Ehrhard (IML Marseille)
Un théorème de complétude pour les espaces de phase produit symétriques (EPPS).

résumé

Les EPPS permettent de définir de nouveaux modèles de la logique linéaire en décorant le modèle purement relationnel par des "relations de cohérence" prenant des faits comme valeurs. Les modèles obtenus ne sont pas dénotationnellement complets pour la logique linéaire, mais on prouvera qu'ils fournissent néanmoins une sémantique des phases complète pour une extension simple de la logique linéaire indexée.