Stepan Kuznetsov

Publications

• Complexity of the Infinitary Lambek Calculus With Kleene Star. Stepan Kuznetsov. 2020.
• Language Models for Some Extensions of the Lambek Calculus. Max Kanovich, Stepan Kuznetsov, Andre Scedrov. 2020.
• The Multiplicative-Additive Lambek Calculus With Subexponential and Bracket Modalities. Max Kanovich, Stepan Kuznetsov, Andre Scedrov. 2020.
• Action Logic Is Undecidable. Stepan Kuznetsov. 2019.
• A Polynomial Time Algorithm for the Lambek Calculus With Brackets of Bounded Order. Max Kanovich, Stepan Kuznetsov, Glyn Morrill, Andre Scedrov. 2017.
• Subexponentials in Non-Commutative Linear Logic. Max Kanovich, Stepan Kuznetsov, Vivek Nigam, Andre Scedrov. 2017.
• Eliminating the Unit Constant in the Lambek Calculus With Brackets. Stepan Kuznetsov. 2017.