Pour recevoir le programme, écrivez à oger_at_math.univ-paris-diderot.fr
Le mardi à 16h00 en salle 1013 (Sophie Germain) - http://semgrp.imj-prg.fr pour plus de renseignements.
Orateur(s)
Tomás Ibarlucía - Equipe de Logique Mathématique, IMJ-PRG,
Titre
Extremal models in affine logic : the case of Bauer theories
Date
27/02/2024
Horaire
16:00 à 17:30
Diffusion
Résume
This will be a continuation of my talk from Monday. I will review some of the basics of affine logic in more detail, then focus on its relationship with continuous and classical logic. Time permitting, I will discuss some important examples.