IRCS Technical Reports Series
Title
An Analysis of (Linear) Exponentials Based on Extended Sequents
Document Type
Technical Report
Date of this Version
July 1997
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.
Download
Date Posted: 26 August 2006
Comments
University of Pennsylvania Institute for Research in Cognitive Science Technical Report No. IRCS-97-13.