Deducibility in the full Lambek calculus with weakening is HAck-complete NetCTS, Leiden, The Netherlands PDF