Skip to main content
To KTH's start page

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

Time: Fri 2022-12-02 13.15 - 14.15

Location: Albano, Seminar room Kovalevsky

Export to calendar

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.