Institut de Mathématiques de Marseille, UMR 7373




Rechercher


Accueil >

17 janvier 2019: 1 événement

Séminaire

  • 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: 2 événements

groupe de travail

  • Groupe de travail Singulier

    Jeudi 17 janvier 11:00-12:00 - André BELOTTO da SILVA - I2M, Aix-Marseille Université

    Groupe de travail Singulier (TBA)

    Résumé : TBA

    JPEG - 39.9 ko
    André BELOTTO DA SILVA

    Lieu : FRUMAM - Aix-Marseille Université - Site St Charles
    3, place Victor Hugo - case 39
    13331 MARSEILLE Cedex 03

    Exporter cet événement

En savoir plus : Groupe de travail Singulier

  • Groupe de Travail Pythéas Fogg

    Jeudi 17 janvier 14:00-17:00 - Fabien DURAND - LAMFA, Université de Picardie

    Diagrammes de Bratteli

    Résumé : TBA

    JPEG - 43.4 ko
    Fabien DURAND

    Lieu : FRUMAM (2ème étage) - Aix-Marseille Université - Site St Charles
    3, place Victor Hugo - case 39
    13331 MARSEILLE Cedex 03

    Exporter cet événement
    Document(s) associé(s) :

    En savoir plus : Groupe de Travail Pythéas Fogg