On the role of connectivity in Linear Logic proofs. - Raffaele Di Donna; Lorenzo Tortora de Falco (CoRR, 2025)