Compact bilinear logic is not a conservative extension of the original Syntactic Calculus.  Every sequent derivable in L has a translation derivable in the corresponding pregroup, but the converse is not true: the pregroup image of the types (a ⊗ b)/c and a ⊗ (b/c), for example, is a b cl, but these two types are not interderivable in L.