An analysis of (linear) exponentials based on extended sequents

S Guerrini
1998 Logic Journal of the IGPL  
We apply the 2-sequents approach to the analysis of several logics derived from linear logic. In particular, we present a uniform formal system for Linear Logic, Elementary Linear Logic and Light Linear Logic. Comments Abstract: We apply the 2-sequents approach to the analysis of several logics derived from linear logic. In particular, we present a uniform formal system for Linear Logic, Elementary Linear Logic and Light Linear Logic. Partially supported by: HCM Project CHRX-CT93-0046 and CNR GNSAGA (Martini) BRA 8130 LOMAPS (Masini).
doi:10.1093/jigpal/6.5.735 fatcat:vkd5mqlgtfbqvaw7whpk72zzba