Università Roma Tre

A) STRUCTURAL RULES EXPRESSED AS LOGICAL RULES: SEQUENT CALCULUS AND DERIVABILITY IN LINEAR LOGIC
B) POSITIVE AND NEGATIVE: FOCUSED SEQUENT CALCULUS FOR LINEAR LOGIC, LUDICS
C) IMPLICIT COMPLEXITY AND LINEAR LOGIC
D) GEOMETRY OF PROOFS: PROOF NETS IN LINEAR LOGIC
E) INVARIANTS AND DEVELOPMENT OF INTERACTION OF PROOFS: COHERENT SPACES, GEOMETRY OF INTERACTION


The course will be held during in the second semester of the academic year 2018-19 (25.02.2019 – 04.04.2019). The course is an introduction to to Linear Logic, given by two teachers
Prof. Jean-Baptiste Joinet (Université Lyon 3, Lyon, France)
Prof. Vito Michele Abrusci (Università Roma Tre, Roma, Italia)

Program
- Provability and proofs in linear logic
- Semantics of provability and semantics of proofs in linear logic
- Complexity and linear logic
- Applications of linear logic

The program will be performed by Jean-Baptiste Joinet in the first part of course and by V. Michele Abrusci in the second part of course, under two complementary approaches

I part: Lectures given by 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 part: Lectures given by 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

Lectures will be held at the following address
Scuola di Lettere Filosofia Lingua
Via Ostiense 234
Roma
Metro B : Marconi

Languages: Italian and English

Participation is free. Those interested in participating are invited to communicate their name to the address vitomichele.abrusci@uniroma3.it as soon as possible.

V. MICHELE ABRUSCI, LEZIONI DI LOGICA LINEARE, 2018 (FORTH COMING)