Presented : Francisco Rios (Dalhousie)
Title : On Categorical Models of Intuitionistic Linear Logic
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.
Colloquium Room #319, Chase Building
Ellen Lynch@CAT Seminar