Studia Logica: An International Journal for Symbolic Logic, Vol. 71, No. 3, The Lambek Calculus in Logic and Linguistics (Aug., 2002), pp. 355-388 (34 pages) We introduce non-associative linear logic, ...