| LM1 - Logica intuizionista e logica lineare |
| Prof. Vito Michele Abrusci |
| DM, Stanza 202 tel. 06 5488 8231 |
| e-mail: abrusci@phil.uniroma3.it |
| (insegnamento mutuato dalla Facoltà di Lettere e Filosofia) Deduzione naturale e normalizzazione della logica intuizionista. Reti dimostrative, semantica delle dimostrazioni e semantica delle fasi per la logica lineare |
| II Semestre Crediti: 6 Prerequisiti: MC2,MC4 |
| Programma esteso: da richiedere al docente presso il dipartimento di Filosofia |