Subject: Gentzen and Hilbert formulations of Linear logic

From: categories <[email-masked]>
Date: Mon, 17 Nov 1997 13:12:50 -0400 (AST)

Date: Sun, 16 Nov 1997 14:01:09 -0400 (AST)
From: Moneesha Mehta <[email-masked]>

I am looking for ( wihtin the next week or two) a Gentzen formulation of
linear logic with no empty sequence at the left.  Girard formulates his
with an empty sequence at the left (1995) and Retore (1997) only does the
multiplicative part.  I would also like a Hilbert-style formulation if one
has ever been written.  Does anyone have any reference(s) or ideas?

Thanks,

M. Mehta