The course of Logical Theories 1 is part of the program in Philosophical Sciences (MA level) and is included among the complementary training activities. The objective of the course is to provide an in-depth understanding of some aspects of the essential issues and debates connected to the field Logical Theories 1. The golas of the course is to acquire a basic knowledge of Zermelo-Fraenkel axiomatic set theory.
teacher profile teaching materials
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.
Programme
A) STRUCTURAL RULES EXPRESSED AS LOGICAL RULES: SEQUENT CALCULUS AND DERIVABILITY IN LINEAR LOGICB) 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.
Core Documentation
V. MICHELE ABRUSCI, LEZIONI DI LOGICA LINEARE, 2018 (FORTH COMING)Type of delivery of the course
Four hours of lessons per week, in the first part of the semesterType of evaluation
Answer (on the blackboard) to some questions about the program.