Undecidability of the Lambek calculus with subexponential and bracket modalities

Devs

Undecidability of the Lambek calculus with subexponential and bracket modalities | Read Paper on Bytez