4 citations · 6 across the 5 of their papers we have counts for
5 papers
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…
Gluing resource proof-structures: inhabitation and inverting the Taylor expansion
Giulio Guerrieri, Luc Pellissier, Lorenzo Tortora de Falco
A Multiplicative-Exponential Linear Logic (MELL) proof-structure can be expanded into a set of resource proof-structures: its Taylor expansion. We introduce a new criterion charact…
A semantic account of strong normalization in Linear Logic
Daniel de Carvalho, Lorenzo Tortora de Falco
We prove that given two cut free nets of linear logic, by means of their relational interpretations one can: 1) first determine whether or not the net obtained by cutting the two n…
An Abstract Approach to Stratification in Linear Logic
Pierre Boudes, Damiano Mazza, Lorenzo Tortora de Falco
We study the notion of stratification, as used in subsystems of linear logic with low complexity bounds on the cut-elimination procedure (the so-called light logics), from an abstr…
The relational model is injective for Multiplicative Exponential Linear Logic (without weakenings)
Daniel de Carvalho, Lorenzo Tortora de Falco
We show that for Multiplicative Exponential Linear Logic (without weakenings) the syntactical equivalence relation on proofs induced by cut-elimination coincides with the semantic…