A System of Interaction and Structure IV: The Exponentials and Decomposition

Lutz Strassburger, Alessio Guglielmi

We study a system, called NEL, which is the mixed commutative/non-commutative linear logic BV augmented with linear logic's exponentials. Equivalently, NEL is MELL augmented with t…