Danos, Vincent, Joinet, Jean-Baptiste and Schellinx, Harold. 1997. “A New Deconstructive Logic: Linear Logic.”The Journal of Symbolic Logic 62(3): 755–807.
Schellinx, Harold. 1991. “Some Syntactical Observations on Linear Logic.”Journal of Logic and Computation 2(4): 537–559.