Università Roma Tre

A) LA TRASFORMAZIONE DELLE REGOLE STRUTTURALI IN REGOLE LOGICHE: IL CALCOLO DEI SEQUENTI E LA DERIVABILITA' IN LOGICA LINEARE
B) IL POSITIVO E IL NEGATIVO: IL CALCOLO DEI SEQUENTI FOCALIZZATO PER LA LOGICA LINEARE, LA LUDICA
C) LA COMPLESSITA' IMPLICITA E LA LOGICA LINEARE
D) GEOMETRIA DELLE DIMOSTRAZIONI: LE RETI DIMOSTRATIVE IN LOGICA LINEARE
E) GLI INVARIANTI E LO SVILUPPO DELL’INTERAZIONE TRA DIMOSTRAZIONI: GLI SPAZI COERENTI, LA GEOMETRIA DELL'INTERAZIONE


Il corso si terrà nel II semestre dell’anno accademico 2018-19 (25.02.2019 – 04.04.2019) e consisterà in un'introduzione alla Logica Lineare tenuta da due docenti:
Prof. Jean-Baptiste Joinet (Université Lyon 3, Lyon, France)
Prof. Vito Michele Abrusci (Università Roma Tre, Roma, Italia)

Programma
- Dimostrabilità e dimostrazioni in logica lineare
- Semantica della dimostrabilità e delle dimostrazioni in logica lineare
- Complessità e logica lineare
- Applicazioni della logica lineare

Il programma sarà svolto nella prima parte del corso da Jean-Baptiste Joinet e nella seconda parte del corso da Vito Michele Abrusci, con due approcci complementari.

I parte: Lezioni di Jean-Baptiste Joinet
25.02.2019, 13:00-16:00
28.02.2019, 11:00-14:00
04.03.2019, 13:00-16:00
07.03.2019, 11:00-14:00
11.03.2019, 13:00-14:00
14.03.2019, 11:00-14:00

II parte: Lezioni di Vito Michele Abrusci
18.03.2019, 13:00-16:00
21.03.2019, 11:00-14:00
25.03.2019, 13:00-16:00
28.03.2019, 11:00-14:00
01.04.2019, 13:00-16:00
04.04.2019, 11:00-14:00

Le lezioni avranno luogo al seguente indirizzo:
Scuola di Lettere Filosofia Lingua
Via Ostiense 234
Roma
Metro B: Marconi

La partecipazione è libera. Chi ha intenzione di partecipare è invitato a comunicare il proprio nominativo appena possibile all’indirizzo vitomichele.abrusci@uniroma3.it

(Nota:
- per gli studenti della laurea magistrale in Filosofia dell’Università Roma Tre, il corso è denominato “Teorie Logiche 1”;
- per gli studenti della laurea magistrale in Matematica e per quelli della laurea magistrale in Scienze Comnputazionali dell’Università Roma Tre il corso è denominato “LM510”).

V. MICHELE ABRUSCI, LEZIONI DI LOGICA LINEARE, 2018 (IN PREPARAZIONE)