A note on full intuitionistic linear logic Original Research Article

This short note considers the formulation of Full Intuitionistic Linear Logic (FILL) given by Hyland and de Paiva (1993). Unfortunately the formulation is not closed under the process of cut elimination. This note proposes an alternative formulation based on the notion of patterns.