Gabriel Saadia: A fine analysis of logical connectives : linear logic
Time: Fri 2022-12-02 13.15 - 14.15
Location: Albano, Seminar room Kovalevsky
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.