# Gabriel Saadia: A fine analysis of logical connectives : linear logic

**Time: **
Fri 2022-12-02 13.15 - 14.15

**Location: **
Albano, Seminar room Kovalevsky

**Abstract**

Linear logic was introduced in 1987 by Jean-Yves Girard as a logic enjoying the nice symmetry of classical logic while conserving the constructive aspect of intuitionistic logic. In this talk I will show how linear logic can emerge naturally from a fine analysis of the non-constructive aspect of classical proofs.