Date(s) - 05/10/2016
2:15 pm - 3:30 pm
Professor Philip J Scott from the Department of Mathematics & Statistics at the University of Ottowa will be giving a talk on “What is Linear Logic”.
Logics play a fundamental role in modern computer science. A vast range of logics, including modal, dynamic, intuitionist, as well as traditional classical logic are fundamental to many branches of computing. In the 1980s, the French logician Jean-Yves Girard introduced a novel, resource-sensitive logic called Linear Logic, that has had great influence in many areas of contemporary computer science, linguistics, and philosophy (as well as deep connections to several areas of mathematics). In this talk, we will give a basic introduction to linear logic and some of its relatives, and survey some of its interesting uses.
P. J. Scott is a mathematical logician working in category theory, proof theory, and theoretical computer science. In 1986 he published the book Introduction to Higher Order Categorical Logic (Cambridge University Press) with J. Lambek, which has been highly inuential both in the development of categorical logic, and in its applications in theoretical computer science. In particular, the book establishes the close connections between various type theories, categories, and logics. It thus motivated later works on using category theory and related machinery in programming languages, as well as operational and denotational semantics.
Professor Scott is currently Associate Editor of the Cambridge journal Mathematical Structures in Computer Science, and a Coordinating Editor of the North-Holland journal Annals of Pure and Applied Logic. In Canada, his research funding comes from NSERC (Natural Sciences and Engineering Research Council of Canada). Since the early 1990s, Prof. Scott has published foundational papers in areas relating categorical logic to theoretical computer science.