Guerrini, StefanoMartini, SimoneMasini, Andrea2023-05-222023-05-221997-07-012006-08-23https://repository.upenn.edu/handle/20.500.14332/37692We 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.Report