On the role of connectivity in Linear Logic proofs

Raffaele Di Donna, Lorenzo Tortora de Falco

We investigate a property that extends the Danos-Regnier correctness criterion for linear logic proof-structures. The property applies to the correctness graphs of a proof-structur…