Institut de Mathématiques de Marseille, UMR 7373


Accueil >

17 janvier 2019: 1 événement


  • Séminaire Logique et Interactions

    Jeudi 17 janvier 11:00-12:30 - Christophe LUCAS - ENS Lyon

    Towards a Proof Theory of the Riesz Modal Logic

    Résumé : It has recently been shown that two Riesz-modal-logic formulas are semantically equivalent if and only if they are equivalent when interpreted in all "modal Riesz spaces". In this talk we will introduce a hyper-sequent calculus for the theory of "modal lattice-ordered abelian groups" which builds on previous work fo Metcalfe, Olivetti and Gabbay. It is our hope to eventually extend this work to the theory of modal Riesz spaces.

    Lieu : Salle des séminaires 304-306 (3ème étage) - Institut de Mathématiques de Marseille (UMR 7373)
    Site Sud - Bâtiment TPR2
    Campus de Luminy, Case 907
    13288 MARSEILLE Cedex 9

    Exporter cet événement

En savoir plus : Séminaire Logique et Interactions

17 janvier 2019: 1 événement

groupe de travail