Deducibility in the Full Lambek Calculus with Weakening Is HAck-Complete.

Vitor Greati, Revantha Ramanayake

Browse the full AiML paper archive.