IRCS Technical Reports Series
Date of this Version
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.
Date Posted: 26 August 2006
University of Pennsylvania Institute for Research in Cognitive Science Technical Report No. IRCS-97-13.