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 |