Localisation

Adresses

Aix-Marseille Université
Institut de Mathématiques de Marseille (I2M) - UMR 7373
Site Saint-Charles : 3 place Victor Hugo, Case 19, 13331 Marseille Cedex 3
Site Luminy : Campus de Luminy - Case 907 - 13288 Marseille Cedex 9

Séminaire

Treillis et extensions de la logique linéaire additive

Olivier Laurent
LIP, CNRS, ENS Lyon
https://perso.ens-lyon.fr/olivier.laurent/

Date(s) : 28/05/2015   iCal
11h00 - 12h00

Certaines structures ordonnées libres peuvent être représentées à l’aide de la relation de déduction du calcul des séquents. En particulier, Withman a montré par anticipation en 1941 que la relation de déduction en logique linéaire additive (ALL) blatère correspond au treillis libre. Nous regarderons diverses extensions de ce résultat en définissant des variantes de ALL qui capturent : treillis borné, treillis distributif, treillis avec involution, ortho-treillis, algèbre de Boole, etc. Si la plupart de ces résultats semblent bien connus dans le folklore, il est amusant de les ranger dans ce cadre commun éclairé par le projecteur de la logique linéaire. Dans le même esprit, nous regarderons comment représenter en calcul des séquents la relation d’ordre sous-jacente à des systèmes de types avec intersection.

Catégories


Secured By miniOrange