Research Papers & Talks by Stepan Kuznetsov


Legend:
— journal article;
— paper in conference proceedings;
— paper in collection (Festschrift etc.);
— talk at a meeting without official proceedings;
— preprint / unpublished;
— C.Sc. thesis;
— only in Russian

2018

M. Kanovich, S. Kuznetsov, V. Nigam, A. Scedrov. Subexponentials in non-commutative linear logic
M. Kanovich, S. Kuznetsov, V. Nigam, A. Scedrov. A logical framework with commutative and non-commutative subexponentials

2017

M. Kanovich, S. Kuznetsov, A. Scedrov. Undecidability of the Lambek calculus extended with subexponential and bracket modalities
M. Kanovich, S. Kuznetsov, G. Morrill, A. Scedrov. A polynomial time algorithm for the Lambek calculus with brackets of bounded order
S. Kuznetsov. The Lambek calculus with iteration: two variants.
[abstract] [full text on arXiv]
S. Kuznetsov, A. Okhotin. Conjunctive categorial grammars
[abstract] [full text, .pdf]
S. Kuznetsov, G. Morrill, O. Valentín. Count-invariance including exponentials
S. Kuznetsov, V. Lugovaya, A. Ryzhova. Recursive enumerability doesn't always give a decidable axiomatization
S. Kuznetsov. Iteration in residuated structures
S. Kuznetsov. Iteration in residuated structures
S. Kuznetsov. Eliminating the unit constant in the Lambek calculus with brackets

2016

С. Л. Кузнецов. О преобразовании грамматик Ламбека с одним делением в контекстно-свободные грамматики.
S. L. Kuznetsov. On translating Lambek grammars with one division into context-free grammars.
M. Kanovich, S. Kuznetsov, A. Scedrov. Undecidability of the Lambek calculus with a relevant modality
  • Formal Grammar 2016, Bolzano/Bozen, August 20–21.
  • Springer LNCS vol. 9804 (joint proceedings of Formal Grammar 2015 and 2016), 240–256.
  • Editors: A. Foret, G. Morrill, R. Muskens, R. Osswald, S. Pogodalla.
  • The final publication is available at link.springer.com.
  • M. Kanovich, S. Kuznetsov, A. Scedrov. On Lambek's restriction in the presence of exponential modalities
    S. Kuznetsov. On the Lambek calculus with the Kleene star and the exponential
    S. Kuznetsov. The Lambek calculus with unary connectives
    (partially based on joint work with M. Kanovich, A. Scedrov, and N. Ryzhkova)
    M. Kanovich, S. Kuznetsov, V. Nigam, A. Scedrov. On the proof theory of non-commutative subexponentials
    M. Kanovich, S. Kuznetsov, A. Scedrov. Reconciling Lambek's restriction, cut-elimination, and substitution in the presence of exponential modalities

    2015

    С. Л. Кузнецов. О преобразовании контекстно-свободных грамматик в грамматики Ламбека
    S. L. Kuznetsov. On translating context-free grammars into Lambek grammars
    С. Л. Кузнецов, Н. С. Рыжкова. Фрагмент исчисления Ламбека с итерацией

    2014

    S. Kuznetsov. Trivalent logics arising from L-models for the Lambek calculus with constants
    S. Kuznetsov. L-completeness of the Lambek calculus with the reversal operation allowing empty antecedents.
    S. Kuznetsov. On translating context-free grammars into Lambek categorial grammars

    2013

    S. Kuznetsov. Conjunctive grammars in Greibach normal form and the Lambek calculus with additive connectives
    С. Л. Кузнецов. Об исчислении Ламбека с операцией пересечения и конъюнктивных грамматиках
    [сборник тезисов]

    2012

    С. Л. Кузнецов. Категориальные грамматики, основанные на вариантах исчисления Ламбека (канд. дисс.)
    Unofficial translation: S. L. Kuznetsov. Categorial grammars based on variants of the Lambek calculus (C. Sc. Thesis)
    S. Kuznetsov. Lambek grammars with one division and one primitive type
    S. Kuznetsov. L-completeness of the Lambek calculus with the reversal operation
    Препринт по-русски: С. Л. Кузнецов. Исчисление Ламбека с операцией обращения
    S. Kuznetsov. Lambek grammars with the unit
    С. Л. Кузнецов. Исчисление Ламбека с операцией обращения
    S. Kuznetsov. Grammars based on variants of the Lambek calculus
    S. Kuznetsov. Trivalent logics arising from L-models for the Lambek calculus with constants
    С. Л. Кузнецов. Об исчислении Ламбека с операцией обращения

    2011

    С. Л. Кузнецов. Об исчислении Ламбека с единицей и одним делением
    S. L. Kuznetsov. On the Lambek calculus with a unit and one division

    2009

    С. Л. Кузнецов. Об исчислении Ламбека с одним делением и одним примитивным типом, допускающим пустые антецеденты
    S. L. Kuznetsov. On the Lambek calculus with one division and one primitive type allowing empty antecedents
    S. Kuznetsov. On the Lambek calculus with one division and one primitive type