• MFG Seminar Monday 8th May

    Published: 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.

     

    Andrea

     

    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 [1]. 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 [2]. 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.  
    [1] - http://alessio.guglielmi.name/res/cos/
    [2] - http://www.sciencedirect.com/science/article/pii/0022404995001603

     

    gravatar Andrea Schalk
Generated: Sunday, 25 June 2017 21:38:54
Last change: Friday, 05 May 2017 10:19:38
▲ Up to the top