17 janvier 2019, 11:00 : Séminaire

Christophe Lucas (ÉNS Lyon), Towards a Proof Theory of the Riesz Modal Logic

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.

24 janvier 2019

Séminaire Chocola à Lyon.