An Analysis of (Linear) Exponentials Based on Extended Sequents

We apply the 2-sequents approach to the analysis of several calculi derived from linear logic. We present a uniform formal system for Linear Logic, Elementary Linear Logic and Light Linear Logic. In particular, the 2-sequent approach simplifies the syntax of Light and Elementary Linear Logic.

• Type: Journal
• Year: 1998
• Where: IGPL
• Authors: Stefano Guerrini, Simone Martini, Andrea Masini
• Keywords: Elementary Linear Logic, IGPL 1998, Light Linear Logic, Linear Logic