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

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.