Semantica denotazionale per la logica lineare a livelli (lavoro in collaborazione con Pierre Boudes e Lorenzo Tortora de Falco)

In un lavoro recente con Patrick Baillot, abbiamo introdotto una nuova caratterizzazione logica del tempo elementare basata sulla cosiddetta logica lineare a livelli (L3), più generale di quella introdotta da Girard basata su ELL (nel senso che ELL è un sottosistema proprio di L3, che si ottiene eguagliando due parametri strutturali - profondità e livello - che sono in generale distinti nelle proof net di L3).
In questo talk presenterò un quadro categorico per la definizione di modelli denotazionali di L3 a partire da modelli della logica lineare.