Warning: Table './church/sessions' is marked as crashed and last (automatic?) repair failed query: SELECT sid FROM sessions WHERE sid = 'a64um2isn341q7e1k1hbespd26' in /var/www/church/includes/database.mysql.inc on line 121
Coends and proof equivalence in second order multiplicative linear logic | Gruppo di Logica e Geometria della Cognizione

Coends and proof equivalence in second order multiplicative linear logic

Speaker:
Paolo Pistone (Università di Tubinga)
Quando:
21/12/2018 - 16:00
Dove:
Aula 311, Dipartimento di Matematica e Fisica, l.go S. Leonardo Murialdo 1, Palazzina C
Abstract

Proof nets for multiplicative linear logic (MLL) provide canonical representations of proofs: they are permutation-independent, separable and are injectively interpreted in the relational and coherent semantics. None of these properties scales to second order multiplicative linear logic (MLL2): proof nets for MLL2 are not invariant with respect to all valid permutations, are not separable and are not injectively interpreted in either the relational or coherent semantics. This problem is related to the interpretation of the existential quantifier. In categorical terms this should correspond to a coend, whereas the usual proof net representation violates the diagrams defining a coend. Starting from this intuition, we investigate the problem of defining canonical proof nets for MLL2 as a coherence problem for coends over a compact-closed category and we show some results concerning some fragments of MLL2.



Warning: Can't find file: 'watchdog' (errno: 2) query: INSERT INTO watchdog (uid, type, message, severity, link, location, referer, hostname, timestamp) VALUES (0, 'php', 'Table './church/sessions' is marked as crashed and last (automatic?) repair failed\nquery: SELECT sid FROM sessions WHERE sid = 'a64um2isn341q7e1k1hbespd26' in /var/www/church/includes/database.mysql.inc on line 121.', 2, '', 'http://logica.uniroma3.it/node/674', '', '18.207.255.67', 1728526449) in /var/www/church/includes/database.mysql.inc on line 121