Modelling Linear Logic Without Units (Preliminary Results)
  We describe a notion of categorical model for unitless fragments of (multiplicative) linear logic. The basic definition uses promonoidal categories, and we also give an equivalent elementary axiomatisation. 
Robin Houston, Dominic Hughes and Andrea Schalk