Venerdì 27 marzo

Ore 11 in Aula Verra, Facoltà di Lettere e Filosofia - Università Roma Tre, Via Ostiense 234

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

Abstract:
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.