What is linear logic?

Philip Scott
University of Ottawa, Canada

2:15pm-3:15pm, 5 October 2016
EM 1.82

Abstract

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). For example, it has played important roles in foundations of complexity, programming language design, and recently in quantum programming languages. In this talk, we will give a basic introduction to linear logic and some of its relatives, and survey some of its interesting uses.

Bio

Philip Scott is a professor in the Department of Mathematics and Statistics at the University of Ottawa, Canada. His research interests include mathematical logic, category theory, foundations of mathematics and computing, theoretical computer science, and programming language theory.

Website: http://www.site.uottawa.ca/~phil/