TY  - RPRT
TI  - Undecidability of the Lambek calculus with a relevant modality
AU  - Max Kanovich
AU  - Stepan Kuznetsov
AU  - Andre Scedrov
PY  - 2016
DO  - 10.1007/978-3-662-53042-9_14
UR  - https://arxiv.org/abs/1601.06303
ID  - 1601.06303
ER  -