Proof-theoretical aspects of the Lambek calculus (Catta)