Primary research interest:
substructural logic with application to linguistics.
- (2021) S.L. Kuznetsov. Commutative action logic [arXiv:2102.11639]
- (2020) M. Kanovich, S. Kuznetsov, A. Scedrov. Language models for some extensions of the Lambek calculus [arXiv:2008.00070]
- (2020) S.L. Kuznetsov, S.O. Speranski. Infinitary action logic with exponentiation [arXiv:2001.06863]
- (2019) S. Kuznetsov. Action logic is undecidable [arXiv:1912.11273]