Warning: Table './church/sessions' is marked as crashed and last (automatic?) repair failed query: SELECT sid FROM sessions WHERE sid = 'a76ccv0s9ibph84vq5e2f9qup7' in /var/www/church/includes/database.mysql.inc on line 121
A characterization of MALL hypercoherent semantic correctness | Gruppo di Logica e Geometria della Cognizione

A characterization of MALL hypercoherent semantic correctness

04 / 2008

Paolo Tranquilli

Abstract

We give a graph theoretical criterion on Multiplicative Additive Linear Logic (MALL) cut-free proof structures that exactly characterizes those whose interpretation is a hyperclique in Ehrhard's hypercoherent spaces. This criterion is strictly weaker than the one given by Hughes and van Glabbeek characterizing proof nets (i.e. desequentialized sequent calculus proofs). We thus also give the first proof of semantical soundness of hypercoherent spaces with respect to proof nets entirely based on graph theoretical trips, in the style of Girard's proof of semantical soundness of coherent spaces for proof nets of the multiplicative fragment of Linear Logic.

Download: hyperMALL.pdf

BibTeX


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 = 'a76ccv0s9ibph84vq5e2f9qup7' in /var/www/church/includes/database.mysql.inc on line 121.', 2, '', 'http://logica.uniroma3.it/node/221', '', '18.207.255.67', 1728523308) in /var/www/church/includes/database.mysql.inc on line 121