Deducibility in the full Lambek calculus with weakening is HAck-complete

V. Greati, R. Ramanayake
Proceeding of AiML (to appear)