  One of the first logics that rejects all three structural rules of the sequent calculus was given in   Lambek 1958.  While this logic contains two implications, it does not contain a negation nor exponentials. Various recent papers have proposed extending linear logic to include non-commutative features and, at present, no proposal seems canonical. For a sampling of non-commutative linear logics, see  Yetter 1990,  Abrusci 1991,  Retoré 1997,  Abrusci &amp; Ruet 1999, and  Guglielmi &amp; Straßburger 2001.