* Gentzen and Hilbert formulations of Linear logic
@ 1997-11-17 17:12 categories
0 siblings, 0 replies; only message in thread
From: categories @ 1997-11-17 17:12 UTC (permalink / raw)
To: categories
Date: Sun, 16 Nov 1997 14:01:09 -0400 (AST)
From: Moneesha Mehta <moneesha@mscs.dal.ca>
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
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~1997-11-17 17:12 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
1997-11-17 17:12 Gentzen and Hilbert formulations of Linear logic categories
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).