Max Kanovich, Stepan Kuznetsov, Andre Scedrov, “Undecidability of the Lambek calculus with a relevant modality”, Lecture Notes in Comput. Sci., 2016, Volume 9804,Pages <nobr>240–256</nobr>

RUS ENG

JOURNALS // Lecture Notes in Computer Science // Archive

Lecture Notes in Comput. Sci., 2016, Volume 9804, Pages 240–256 (Mi lncs5)

This article is cited in 13 papers

Undecidability of the Lambek calculus with a relevant modality

Max Kanovich^ab, Stepan Kuznetsov^c, Andre Scedrov^bd

^a University College London, London, UK
^b National Research University Higher School of Economics, Moscow, Russian Federation
^c Steklov Mathematical Institute, Moscow, Russian Federation
^d University of Pennsylvania, Philadelphia, USA

Language: English

DOI: 10.1007/978-3-662-53042-9_14

Cited by

Bibliographic databases:

ArXiv: 1601.06303

© Steklov Math. Inst. of RAS, 2026