Logic seminar:Adrian Miranda (Manchester)
Dates: | 11 October 2023 |
Times: | 15:15 - 16:15 |
What is it: | Seminar |
Organiser: | Department of Mathematics |
Who is it for: | University staff, External researchers, Adults, Alumni, Current University students |
|
Title: Categorical Models of Linear Logic
Abstract: One of the main ways in which Linear Logic differs from more familiar logical systems is that assumptions must be used in proofs exactly as many times as they are made, without being discarded or duplicated. In particular, the following properties of "and" may not hold in general.
P |- P and P
P and Q |- P
I will discuss how Linear Logic can be modelled using symmetric monoidal categories, and how certain extra structure allows one to extract the classical fragment. Time permitting I will discuss richer logical structures, such as implications, disjunctions or negations, can also be modelled in a similar way.
Travel and Contact Information
Find event
Frank Adams 1 (and zoom, link in email)
Alan Turing Building
Manchester