|
Docente
|
MAIELI ROBERTO
(programma)
Dimostrazioni (Sequent Proofs)
***************************************
Deduzione Naturale (ND)
Il Calcolo dei Sequenti per la Logica Intuizionista (LJ) e Logica Classia (LK)
L'eliminazione dei Tagli per LJ ed LK
Il calcolo dei sequenti della Logica Lineare (LL)
Il teorema di Eliminazione dei Tagli per LL
Il Teorema di Focalizzazione delle dimostrazioni di LL
Reti dimostrative (Proof Nets)
*************************************
(stutture dimostrative, correttezza, normalizzazione, adeguatezza, sequenzializzazione, focalizzazione, complessità)
Reti puramente moltiplicative
Reti moltplicative-additive
Reti moltiplicative-esponenziali
Semantica Denotazionale
(testi)
APPUNTI E SLIDES DISPONIBILI SULLA PAGINA WEB DEL CORSO
https://sites.google.com/view/lm510/
|
Università Roma Tre