Connectivity at the crossroad of intuitionistic and classical polarizations in linear logic

Raffaele Di Donna, Giulio Guerrieri, 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…