MFG Seminar Monday 8th MayPublished: Friday, 05 May 2017
The next MFG seminar will take place on Monday 8th May from 2.00 in 2.33.It will be given by Toby Osborne and his title and abstract can be found below.
The next MFG seminar will take place on Monday 8th May from 2.00 in 2.33. It will be given by Toby Osborne and his title and abstract can be found below.
Deep inference systems as categorical syntax for linear logic
The calculus of structures is a formal proof system which exhibits the property of deep inference . By interpreting the system as a category we can show that various forms of bureaucracy, that is trivial syntactic differences between proofs, are eliminated by standard categorical structures. This in itself is nice but furthermore we can see that other forms of bureaucracy which are cannot easily be eliminated through syntax are also related to standard categorical constructions. In particular a formal system for the multiplicative fragment of linear logic free of certain particular forms of bureaucracy is given by the structure of a linearly distributive category . The general approach used gives both a nice characterisation of bureaucracy for the syntax and potentially allows for more refined construction of categorical models for logic.
 - http://alessio.guglielmi.name/res/cos/
 - http://www.sciencedirect.com/science/article/pii/0022404995001603