RUS  ENG JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB
 
Kuznetsov, Stepan Lvovich

Total publications: 45 (35)
in MathSciNet: 15 (15)
in zbMATH: 8 (8)
in Web of Science: 8 (8)
in Scopus: 23 (23)
Cited articles: 18
Citations in Math-Net.Ru: 1
Citations in MathSciNet: 20
Citations in Web of Science: 5
Citations in Scopus: 47
Presentations: 41

Number of views:
This page:4249
Abstract pages:694
Full texts:307
References:43
Kuznetsov, Stepan Lvovich
Candidate of physico-mathematical sciences (2012)
Speciality: 01.01.06 (Mathematical logic, algebra, and number theory)
Birth date: 30.06.1988
Website: http://www.mi-ras.ru/~sk

http://www.mathnet.ru/eng/person72238
http://scholar.google.com/citations?user=DGNxp2EAAAAJ&hl=en
http://zbmath.org/authors/?q=ai:kuznetsov.stepan
https://mathscinet.ams.org/mathscinet/MRAuthorID/877457
http://www.researcherid.com/rid/P-2607-2016
http://www.scopus.com/authid/detail.url?authorId=54914981600
https://www.researchgate.net/profile/Stepan_Kuznetsov

Full list of publications:
| by years | by types | by times cited in WoS | by times cited in Scopus | scientific publications | common list |



   2019
1. Max Kanovich, Stepan Kuznetsov, Vivek Nigam, Andre Scedrov, “Subexponentials in non-commutative linear logic”, Math. Structures Comput. Sci., 29:8, A special issue on structural proof theory, automated reasoning and computation in celebration of Dale Miller’s 60th birthday (2019), 1217–1249 , arXiv: 1709.03607  mathnet  crossref  isi (cited: 1)  scopus (cited: 3)
2. Stepan Kuznetsov, Valentina Lugovaya, Anastasiia Ryzhova, “Craig’s trick and a non-sequential system for the Lambek calculus and its fragments”, Log. J. IGPL, 27:3 (2019), 252–266  mathnet  mathnet  crossref  isi  scopus
3. Stepan Kuznetsov, “The logic of action lattices is undecidable”, Proc. 34th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2019 (Vancouver, B.C., June 24–27, 2019), IEEE, 2019, 1–9  crossref  scopus
4. Stepan Kuznetsov, “Complexity of reasoning in residuated Kleene algebras”, 5th International Workshop on Structures and Deduction (Dortmund, June 29–30, 2019), 2019 http://www.anupamdas.com/sd19/papers/SD19_paper_9.pdf
5. Max Kanovich, Stepan Kuznetsov, Andre Scedrov, “The complexity of multiplicative-additive Lambek calculus: 25 years later”, WoLLIC 2019: Logic, Language, Information, and Computation, International Workshop on Logic, Language, Information, and Computation (Utrecht, July 2–5, 2019), Lecture Notes in Comput. Sci., 11541, Springer, Berlin, Heidelberg, 2019, 356–372  mathnet  crossref  scopus (cited: 1)
6. Max Kanovich, Stepan Kuznetsov, Andre Scedrov, “L-models and R-models for Lambek calculus enriched with additives and the multiplicative unit”, WoLLIC 2019: Logic, Language, Information, and Computation, International Workshop on Logic, Language, Information, and Computation (Utrecht, July 2–5, 2019), Lecture Notes in Comput. Sci., 11541, Springer, Berlin, Heidelberg, 2019, 373–391  mathnet  crossref  scopus
7. Max Kanovich, Stepan Kuznetsov, Andre Scedrov, “Undecidability of a Newly Proposed Calculus for CatLog3”, Formal Grammar, 24th International Conference, FG 2019, Riga, Latvia, August 11, 2019, Lecture Notes in Comput. Sci., 11668, Springer, Berlin, Heidelberg, 2019, 67–83  mathnet  crossref  scopus
8. Stepan Kuznetsov, “Half a way towards circular proofs for Kleene lattices”, Circularity in Syntax and Semantics (Gothenburg, November 20–22, 2019), University of Gothenburg, Gothenburg, 2019, 42–45 http://www.cse.chalmers.se/~bahafs/CiSS2019/CiSS2019BoA.pdf
9. S. L. Kuznetsov, Kvant, 2019, no. 3, 29–31  mathnet  crossref

   2018
10. S. Kuznetsov, “$*$-continuity vs. induction: divide and conquer”, AiML 2018 (Bern, August 27–31, 2018), Advances in Modal Logic, 12, College Publications, London, 2018, 493–510 http://aiml.net/volumes/volume12/Kuznetsov.pdf
11. Glyn Morrill, Stepan Kuznetsov, Max Kanovich, Andre Scedrov, “Bracket induction for the Lambek calculus with bracket modalities”, Formal Grammar 2018, 23rd International Conference, FG 2018 (Sofia, Bulgaria, August 11–12, 2018), Lecture Notes in Comput. Sci., 10950, Springer-Verlag, Berlin, Heidelberg, 2018, 84–101  mathnet  crossref  mathscinet  scopus (cited: 1)
12. Max Kanovich, Stepan Kuznetsov, Vivek Nigam, Andre Scedrov, “A logical framework with commutative and non-commutative subexponentials”, Automated Reasoning (Oxford, UK, July 14-17, 2018), Lecture Notes in Comput. Sci., 10900, eds. D. Galmiche, S. Schulz, R. Sebastiani, Springer, Cham, 2018, 228–245  mathnet  crossref  mathscinet  isi  scopus (cited: 2)
13. S. L. Kuznetsov, “O polnote fragmenta ischisleniya Lambeka s operatsiyami iteratsii i peresecheniya otnositelno relyatsionnykh modelei”, Maltsevskie chteniya 2018 (Novosibirsk, 19–22 noyabrya 2018 g.), Institut matematiki im. S. L. Soboleva SO RAN; Novosibirskii gos. universitet, Novosibirsk, 2018, 224 http://www.math.nsc.ru/conference/malmeet/18/maltsev18.pdf
14. S. L. Kuznetsov, Kvant, 2018, no. 11, 9  mathnet
15. S. L. Kuznetsov, Kvant, 2018, no. 5, 24  mathnet
16. S. L. Kuznetsov, Kvant, 2018, no. 3, 32–33  mathnet

   2017
17. S. Kuznetsov, A. Okhotin, “Conjunctive categorial grammars”, Proceedings of the 15th Meeting on the Mathematics of Language (London, July 13–14, 2017), ACL Anthology, 2017, 140–151 (W17-3414) http://aclweb.org/anthology/W17-3414  crossref
18. S. Kuznetsov, G. Morrill, O. Valentín, “Count-invariance including exponentials”, Proceedings of the 15th Meeting on the Mathematics of Language (London, July 13–14, 2017), ACL Anthology, 2017, 128–139 (W17-3413) http://www.aclweb.org/anthology/W17-3413  crossref
19. Stepan Kuznetsov, “The Lambek calculus with iteration: two variants”, WoLLIC 2017 (London, July 18–21, 2017), Lecture Notes in Comput. Sci., 10388, 2017, 182–198  mathnet  crossref  mathscinet  isi  scopus (cited: 1)
20. Max Kanovich, Stepan Kuznetsov, Glyn Morrill, Andre Scedrov, “A polynomial-time algorithm for the Lambek calculus with brackets of bounded order”, 2nd International Conference on Formal Structures for Computation and Deduction (FSCD 2017) (Oxford, September 3–9, 2017), Leibniz Internat. Proc. in Inform., 84, eds. D. Miller, Schloss Dagstuhl–Leibniz-Zentrum für Informatik, Dagstuhl, 2017, 22:1–22:17  mathnet  crossref  mathscinet  scopus (cited: 3)
21. Max Kanovich, Stepan Kuznetsov, Andre Scedrov, “Undecidability of the Lambek calculus with subexponential and bracket modalities”, Fundamentals of Computation Theory, FCT 2017 (Bordeaux, September 11–13, 2017), Lecture Notes in Comput. Sci., 10472, eds. R. Klasing, M. Zeitoun, Springer, 2017, 326–340  mathnet  crossref  mathscinet  scopus (cited: 5)
22. S. Kuznetsov, Eliminating the unit constant in the Lambek calculus with brackets, 2017 , 7 pp., arXiv: 1711.06361
23. S. Kuznetsov, “Ptichka vyletaet!”, Kvantik, 2017, no. 2, 10–11
24. S. L. Kuznetsov, Kvant, 2017, no. 10, 2–5  mathnet
25. S. L. Kuznetsov, Kvant, 2017, no. 9, 10–14  mathnet
26. S. L. Kuznetsov, Kvant, 2017, no. 6, 21–24  mathnet
27. S. L. Kuznetsov, Kvant, 2017, no. 4, 36–38  mathnet
28. S. L. Kuznetsov, Kvant, 2017, no. 1, 30–31  mathnet

   2016
29. M. Kanovich, S. Kuznetsov, A. Scedrov, “On Lambek's restriction in the presence of exponential modalities”, Lecture Notes in Comput. Sci., 9537, 2016, 146–158  mathnet  crossref  mathscinet  zmath  isi (cited: 1)  elib  scopus (cited: 3)
30. Max Kanovich, Stepan Kuznetsov, Andre Scedrov, “Undecidability of the Lambek calculus with a relevant modality”, Lecture Notes in Comput. Sci., 9804, eds. A. Foret, G. Morrill, R. Muskens, R. Osswald, S. Pogodalla, 2016, 240–256 , arXiv: 1601.06303  mathnet  crossref  mathscinet  zmath  elib  scopus (cited: 6)
31. S. L. Kuznetsov, “On translating Lambek grammars with one division into context-free grammars”, Proc. Steklov Inst. Math., 294 (2016), 129–138  mathnet  crossref  crossref  mathscinet  isi (cited: 1)  elib  elib  scopus (cited: 3)
32. M. Kanovich, S. Kuznetsov, V. Nigam, A. Scedrov, “On the proof theory of non-commutative subexponentials”, Dale Fest!, Seminar in honor of the 60th birthday of Dale Miller (Paris, December 15–16, 2017), Université Paris Diderot, 2016, 10 p. http://www.lsv.fr/~baelde/dale-fest/kanovich-etal.pdf

   2015
33. S. L. Kuznetsov, “On Translating Context-Free Grammars into Lambek Grammars”, Proc. Steklov Inst. Math., 290 (2015), 63–69  mathnet  crossref  crossref  isi (cited: 1)  elib (cited: 1)  elib (cited: 1)  scopus (cited: 1)
34. S. L. Kuznetsov, N. S. Ryzhkova, “Fragment ischisleniya Lambeka s iteratsiei”, Maltsevskie chteniya 2015 (Novosibirsk, 3–7 maya 2015 g.), Institut matematiki im. S.L. Soboleva SO RAN; Novosibirskii gos. universitet, Novosibirsk, 2015, 213 http://www.math.nsc.ru/conference/malmeet/15/malmeet15.pdf

   2014
35. S. Kuznetsov, “$L$-completeness of the Lambek calculus with the reversal operation allowing empty antecedents”, Categories and types in logic, language, and physics. Essays dedicated to Jim Lambek on the occasion of his 90th birthday, Lecture Notes in Comput. Sci., 8222, eds. C. Casadio, B. Coecke, M. Moortgat, P. Scott, Springer, Berlin, Heidelberg, 2014, 268–278  mathnet  crossref  mathscinet  zmath  scopus
36. S. L. Kuznetsov, “Trivalent logics arising from L-models for the Lambek calculus with constants”, J. Appl. Non-Class. Log., 14:1-2 (2014), 132–137  mathnet  crossref  mathscinet  scopus (cited: 1)
37. S. Kuznetsov, “On translating context-free grammars into Lambek categorial grammars”, Joint Proceedings of the Second Workshop on Natural Language and Computer Science (NLCS’14) & 1st International Workshop on Natural Language Services for Reasoners (NLSR 2014), Affliated to RTA-TLCA, VSL 2014 (Vienna, July 17–18, 2014), eds. V. de Paiva, W. Neuper, P. Quaresma, C. Retoré, L. S. Moss, J. Saludes, Center for Informatics and Systems of the University of Coimbra, Coimbra, Portugal, 2014, 137–142 https://www.cisuc.uc.pt/ckfinder/userfiles/files/TR 2014-02.pdf

   2013
38. S. Kuznetsov, “Conjunctive grammars in Greibach normal form and the Lambek calculus with additive connectives”, Formal grammar. 17th and 18th international conferences, FG 2012, Opole, Poland, August 2012, revised selected papers, FG 2013, Düsseldorf, Germany, August 2013, Proceedings, Lecture Notes in Comput. Sci., 8036, Springer, Berlin, 2013, 242–249  mathnet  crossref  mathscinet  zmath  elib  scopus (cited: 5)

   2012
39. S. Kuznetsov, “L-completeness of the Lambek calculus with the reversal operation”, Logical aspects of computational linguistics, Lecture Notes in Comput. Sci., 7351, Springer, Heidelberg, 2012, 151–160  mathnet  crossref  mathscinet  scopus (cited: 1)
40. S. Kuznetsov, “Lambek grammars with the unit”, Formal grammar. 15th and 16th international conferences, FG 2010, Copenhagen, Denmark, August 2010, FG 2011, Ljubljana, Slovenia, August 2011. Revised selected papers, Lecture Notes in Comput. Sci., 7395, Springer, Berlin, 2012, 262–266  mathnet  crossref  zmath  scopus (cited: 2)
41. S. Kuznetsov, “Lambek grammars with one division and one primitive type”, Log. J. IGPL, 20:1 (2012), 207–221  mathnet  crossref  mathscinet  zmath  isi (cited: 1)  scopus (cited: 5)
42. S. L. Kuznetsov, Kategorialnye grammatiki, osnovannye na variantakh ischisleniya Lambeka, Diss. … kand. fiz.-matem. nauk, MGU imeni M. V. Lomonosova, M., 2012 , 70 pp. polnyi tekst (PDF), avtoreferat (PDF), English translation (PDF), English summary (PDF)

   2011
43. S. L. Kuznetsov, “On the Lambek calculus with a unit and one division”, Moscow University Math. Bull., 66:4 (2011), 173–175  mathnet  crossref  mathscinet  zmath  elib  elib  scopus (cited: 3)

   2009
44. S. L. Kuznetsov, “On the Lambek calculus with one division and one primitive type that allows empty antecedents”, Moscow University Math. Bull., 64:2 (2009), 76–79  mathnet  crossref  mathscinet  zmath  elib (cited: 1)  elib (cited: 1)  scopus (cited: 1)
45. S. Kuznetsov, “On the Lambek calculus with one division and one primitive type”, Structures and Deduction 2009, ESSLLI '09 Workshop (Bordeaux, July 20–24, 2009), eds. Michel Parigot and Lutz Straßburger, 2009, 2–11 http://esslli2009.labri.fr/documents/structures_deduction.pdf

Presentations in Math-Net.Ru
1. Лекция 9. Полнота типового лямбда-исчисления относительно теоретико-множественной семантики
S. L. Kuznetsov

December 2, 2019 16:30   
2. Лекция 8. Теорема о сильной нормализуемости для типового лямбда-исчисления (окончание). Теоретико-множественная семантика типового лямбда-исчисления
S. L. Kuznetsov

November 25, 2019 16:30   
3. Лекция 7. Алгоритм выведения наиболее общего типа в системе Карри (окончание). Теорема о сильной нормализуемости для типового лямбда-исчисления
S. L. Kuznetsov

November 18, 2019 16:30   
4. Лекция 6. Алгоритм выведения наиболее общего типа в системе Карри
S. L. Kuznetsov

November 11, 2019 16:30   
5. Лекция 5. Сохранение типа при бета-редукции. Интуиционистская логика высказываний, соответствие Карри - Говарда
S. L. Kuznetsov

October 28, 2019 16:30   
6. Лекция 4. Свойство Чёрча - Россера (окончание). Типовое лямбда исчисление: типизации по Чёрчу и по Карри
S. L. Kuznetsov

October 21, 2019 16:30   
7. Лекция 3. Представимость вычислимых функций в бестиповом лямбда-исчислении. Свойство Чёрча - Россера
S. L. Kuznetsov

October 14, 2019   
8. Лекция 2. Теорема о неподвижной точке. Представимость примитивно-рекурсивных функций в бестиповом лямбда-исчислении
S. L. Kuznetsov

October 7, 2019   
9. Лекция 1.Введение. Бестиповое лямбда-исчисление. Представление натуральных чисел в бестиповом лямбда-исчислении
L. D. Beklemishev, S. L. Kuznetsov

September 30, 2019   
10. Линейная логика и функциональное программирование
S. L. Kuznetsov
Colloquium of the Faculty of Computer Science
February 12, 2019 18:10
11. $\Pi_1^0$-полнота исчисления Ламбека с итерацией Клини
S. L. Kuznetsov
Traditional winter session MIAN–POMI devoted to the topic "Mathematical logic"
December 25, 2018 15:05   
12. Неразрешимость логики решёток Клини с делениями
S. L. Kuznetsov
Seminar of the Department of Mathematical Logic "Proof Theory"
October 29, 2018 18:30   
13. Рекурсивно перечислимые теории, не имеющие алгоритмически разрешимой аксиоматизации
S. L. Kuznetsov
Seminar of the Department of Mathematical Logic "Algorithmic problems in algebra and logic"
November 14, 2017 18:30
14. Iteration in residuated structures
S. Kuznetsov
Workshop on Proof Theory, Modal Logic and Reflection Principles
October 20, 2017 10:00   
15. Исчисления Ламбека с обогащением сигнатуры операцией итерации
S. L. Kuznetsov
Seminar of the Department of Mathematical Logic "Algorithmic problems in algebra and logic"
May 16, 2017 18:30
16. Extensions of context-free grammars and categorial grammars
S. L. Kuznetsov
Matsbornik-150: algebra, geometry, analysis
November 7, 2016 12:40   
17. Межфакультетский курс «Категориальные грамматики». Лекция 13
S. L. Kuznetsov

May 11, 2016 17:00   
18. Межфакультетский курс «Категориальные грамматики». Лекция 9
S. L. Kuznetsov

April 13, 2016 17:00   
19. Межфакультетский курс «Категориальные грамматики». Лекция 8
M. R. Pentus, S. L. Kuznetsov

April 6, 2016 17:00   
20. Невозможность замены правила сокращения конечным числом определяющих соотношений при задании полугруппы
S. L. Kuznetsov
Seminar of the Department of Mathematical Logic "Algorithmic problems in algebra and logic"
April 5, 2016 18:30
21. Межфакультетский курс «Категориальные грамматики». Лекция 6
S. L. Kuznetsov, M. R. Pentus

March 23, 2016 17:00   
22. Межфакультетский курс «Категориальные грамматики». Лекция 4
S. L. Kuznetsov, A. A. Sorokin

March 9, 2016 17:00   
23. Межфакультетский курс «Категориальные грамматики». Лекция 3
S. L. Kuznetsov

March 2, 2016 17:00   
24. Межфакультетский курс «Категориальные грамматики». Лекция 2
S. L. Kuznetsov

February 24, 2016 17:00
25. Межфакультетский курс «Категориальные грамматики». Лекция 1
S. L. Kuznetsov, A. A. Sorokin

February 17, 2016 17:00
26. О двух модальных расширениях исчисления Ламбека
S. L. Kuznetsov
Seminar of the Department of Mathematical Logic "Algorithmic problems in algebra and logic"
October 20, 2015 18:30
27. Лямбда-исчисление, или вычислительная теория доказательств. Лекция 12
S. L. Kuznetsov
Special course "Lambda calculus, or computational proof theory", 2015
May 13, 2015 18:00   
28. Lambda calculus, or computational proof theory. Lecture 11
S. L. Kuznetsov
Special course "Lambda calculus, or computational proof theory", 2015
April 29, 2015 18:05   
29. Преобразование контекстно-свободных грамматик в грамматики Ламбека, сохраняющее семантические значения слов
S. L. Kuznetsov
Seminar of the Department of Mathematical Logic "Algorithmic problems in algebra and logic"
April 28, 2015 18:30
30. Lambda calculus, or computational proof theory. Lecture 8
S. L. Kuznetsov
Special course "Lambda calculus, or computational proof theory", 2015
April 8, 2015 18:00   
31. Lambda calculus, or computational proof theory. Lecture 7
S. L. Kuznetsov
Special course "Lambda calculus, or computational proof theory", 2015
April 1, 2015 18:00   
32. Lambda calculus, or computational proof theory. Lecture 6
S. L. Kuznetsov
Special course "Lambda calculus, or computational proof theory", 2015
March 25, 2015 18:00   
33. Lambda calculus, or computational proof theory. Lecture 5
S. L. Kuznetsov
Special course "Lambda calculus, or computational proof theory", 2015
March 18, 2015 18:00   
34. Lambda calculus, or computational proof theory. Lecture 4
S. L. Kuznetsov
Special course "Lambda calculus, or computational proof theory", 2015
March 11, 2015 18:00   
35. Lambda calculus, or computational proof theory. Lecture 3
S. L. Kuznetsov
Special course "Lambda calculus, or computational proof theory", 2015
March 4, 2015 18:00   
36. Lambda calculus, or computational proof theory. Lecture 2
S. L. Kuznetsov
Special course "Lambda calculus, or computational proof theory", 2015
February 25, 2015 18:00   
37. Lambda calculus, or computational proof theory. Lecture 1
S. L. Kuznetsov
Special course "Lambda calculus, or computational proof theory", 2015
February 18, 2015 18:00   
38. Lambek categorial grammars
Stepan Kuznetsov
Colloquium of the Steklov Mathematical Institute of Russian Academy of Sciences
June 5, 2014 16:00   
39. Conjunctive grammars and the Lambek calculus enriched with the intersection connective
S. Kuznetsov
Seminar of the Department of Mathematical Logic "Algorithmic problems in algebra and logic"
October 8, 2013 18:30
40. Free monoid powerset models for two extensions of Lambek calculus
S. Kuznetsov
Seminar of the Department of Mathematical Logic "Algorithmic problems in algebra and logic"
November 27, 2012 18:30
41. Grammars based on variants of the Lambek calculus
Stepan Kuznetsov
International workshop "Logical Models of Reasoning and Computation"
February 3, 2012 15:30   

Organisations
 
Contact us:
 Terms of Use  Registration  Logotypes © Steklov Mathematical Institute RAS, 2019