Deducibility in the full Lambek calculus with weakening is HAck-complete AiML'24, Prague, Czech Republic PDF