Dal Alert!

Receive alerts from Dalhousie by text message.


Math and Stats @CAT Seminar

On Categorical Models of Intuitionistic Linear Logic  presented by: Francisco Rios (Dalhousie)





Colloquium Room #319, Chase Building, Dalhousie University

Additional Information

Abstract: In the 1980s, Jean-Yves Girard introduced the substructural logic called linear logic as a refinement of classical and intuitionistic logic. Its emphasis on the role of formulas as resources has found many applications in fields as diverse as computer science, quantum physics, and linguistics. In this talk, I will introduce some of the most relevant categorical models of the intuitionistic fragment of linear logic, namely Lafont categories, Seely categories, and linear categories. Time permitting, I will show how these models are subsumed by the LNL (linear/non-linear) models introduced by Nick Benton in the 1990s.