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

Total publications: 76 (64)
in MathSciNet: 48 (48)
in zbMATH: 33 (33)
in Web of Science: 34 (34)
in Scopus: 51 (51)
Cited articles: 41
Citations: 187
Presentations: 130

Number of views:
This page:11193
Abstract pages:6492
Full texts:3155
References:228
Kuznetsov, Stepan Lvovich
Doctor of physico-mathematical sciences (2024)
Speciality: 01.01.06 (Mathematical logic, algebra, and number theory)
Birth date: 30.06.1988
Website: https://homepage.mi-ras.ru/~sk

https://www.mathnet.ru/eng/person72238
https://scholar.google.com/citations?user=DGNxp2EAAAAJ&hl=en
https://zbmath.org/authors/?q=ai:kuznetsov.stepan
https://mathscinet.ams.org/mathscinet/MRAuthorID/877457
https://orcid.org/0000-0003-0025-0133
https://www.webofscience.com/wos/author/record/P-2607-2016
https://www.scopus.com/authid/detail.url?authorId=54914981600
https://www.researchgate.net/profile/Stepan_Kuznetsov

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


Citations (Crossref Cited-By Service + Math-Net.Ru)

   2024
1. S. L. Kuznetsov, “Algorithmic complexity for theories of commutative Kleene algebras”, Izv. Math., 88:2 (2024), 236–269  mathnet  crossref  crossref  mathscinet  zmath  adsnasa  isi  scopus
2. Stepan L. Kuznetsov, “Syntactic concept lattice models for infinitary action logic”, Logic, Language, Information, and Computation, 30th International Workshop, WoLLIC 2024 (Bern, Switzerland, June 10–13, 2024), Lecture Notes in Comput. Sci., 14672, Springer, Cham, 2024, 93–107  mathnet  crossref  mathscinet  isi  scopus;
3. S. L. Kuznetsov, Algoritmicheskie voprosy dlya substrukturnykh logik s iteratsiei Klini, Diss. … dokt. fiz.-matem. nauk, Matematicheskii institut im. V. A. Steklova RAN, Moskva, 2024 , 266 pp. (.pdf)

   2023
4. Stepan L. Kuznetsov, “Commutative action logic”, J. Logic Comput., 33:6 (2023), 1427–1462 , arXiv: 2102.11639  mathnet  crossref  mathscinet  zmath  isi  scopus; 3
5. Stepan L. Kuznetsov, Stanislav O. Speranski, “Infinitary Action Logic with Multiplexing”, Studia Logica, 111:2 (2023), 251–280  mathnet  crossref  mathscinet  zmath  isi  scopus; 3
6. Stepan L. Kuznetsov, “Complexity of the Lambek calculus and its extensions”, Logic and Algorithms in Computational Linguistics 2021, LACompLing2021, Stud. Comput. Intell., 1081, Springer, Cham, 2023, 1–29  mathnet  crossref  scopus;
7. Stepan L. Kuznetsov, “Proof disbalancing for proving complexity results: towards infinitary focusing”, The Proof Society Summer School and Workshop 2023. Booklet of Abstracts (Barcelona, July 10–14, 2023), University of Barcelona, 2023, 69–72 (pdf)
8. Eben Blaisdell, Max Kanovich, Stepan L. Kuznetsov, Elaine Pimentel, Andre Scedrov, “Explorations in subexponential non-associative non-commutative linear logic”, Proceedings Modalities in substructural logics: Applications at the interfaces of logic, language and computation (AMSLO 2023), Ljubljana, Slovenia, August 7-8, 2023, Electron. Proc. Theor. Comput. Sci., 381, Open Publishing Association, 2023, 4–19 , arXiv: 2308.05537v1  mathnet  crossref  mathscinet  isi  scopus;
9. Stepan L. Kuznetsov, “On the complexity of reasoning in Kleene algebra with commutativity conditions”, Theoretical Aspects of Computing – ICTAC 2023, Lima, Peru, December 4–8, 2023, Lecture Notes in Comput. Sci., 14446, Springer, Cham, 2023, 83–99  mathnet  crossref  mathscinet  isi  scopus; 1
10. Stepan L. Kuznetsov, “Relational models for the Lambek calculus with intersection and constants”, Log. Methods Comput. Sci., 19:4 (2023), 32 , 27 pp., arXiv: 2210.00654  mathnet  crossref  mathscinet  zmath  isi  scopus;

   2022
11. Max Kanovich, Stepan Kuznetsov, Andre Scedrov, “Language models for some extensions of the Lambek calculus”, Inform. and Comput., 287 (2022), 104760 , 16 pp., arXiv: 2008.00070  mathnet  crossref  mathscinet  zmath  isi  scopus 2
12. Stepan L. Kuznetsov, Stanislav O. Speranski, “Infinitary action logic with exponentiation”, Ann. Pure Appl. Logic, 173:2 (2022), 103057 , 33 pp., arXiv: 2001.06863  mathnet  crossref  mathscinet  zmath  isi  scopus; 7
13. Max I. Kanovich, Stepan G. Kuznetsov, Stepan L. Kuznetsov, Andre Scedrov, “Decidable fragments of calculi used in CatLog”, Natural Language Processing in Artificial Intelligence — NLPinAI 2021, Stud. Comput. Intell., 999, Springer, Cham, 2022, 1–24  mathnet  crossref  scopus; 1
14. Stepan L. Kuznetsov, “Reasoning in commutative Kleene algebras from *-free hypotheses”, Logica Yearbook 2021, College Publications, London, 2022, 99–113  mathscinet  isi
15. Eben Blaisdell, Max Kanovich, Stepan L. Kuznetsov, Elaine Pimentel, Andre Scedrov, “Non-associative, non-commutative multi-modal linear logic”, Automated Reasoning, 11th International Conference, IJCAR 2022 (Haifa, Israel, August 8–10, 2022), Lecture Notes in Comput. Sci., 13385, Springer, Cham, 2022, 449–467  mathnet  crossref  mathscinet  zmath  isi  scopus; 1

   2021
16. Max Kanovich, Stepan Kuznetsov, Andre Scedrov, “The multiplicative-additive Lambek calculus with subexponential and bracket modalities”, J. Logic Lang. Inf., 30:1 (2021), 31–88  mathnet  crossref  mathscinet  zmath  isi  scopus; 5
17. Stepan Kuznetsov, “Action logic is undecidable”, ACM Trans. Comput. Log., 22:2 (2021), 10 , 26 pp., arXiv: 1912.11273  mathnet  crossref  mathscinet  isi  scopus; 7
18. Stepan L. Kuznetsov, “Complexity of a fragment of infinitary action logic with exponential via non-well-founded proofs”, Automated Reasoning with Analytic Tableaux and Related Methods, 30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6–9, 2021, Lecture Notes in Comput. Sci., 12842, Springer, Cham, 2021, 317–334  mathnet  crossref  mathscinet  zmath  isi  scopus; 2
19. Stepan L. Kuznetsov, “Relational models for the Lambek calculus with intersection and unit”, Relational and Algebraic Methods in Computer Science. RAMiCS 2021, Marseille, November 2–5, 2021, Lecture Notes in Comput. Sci., 13027, Springer, Cham, 2021, 258–274  mathnet  crossref  mathscinet  zmath  isi  scopus; 1
20. S. L. Kuznetsov, “Kleene star, subexponentials without contraction, and infinite computations”, Sib. elektron. matem. izv., 18:2 (2021), 905–922  mathnet  crossref  mathscinet  zmath  isi  scopus 1
21. S. M. Dudakov, B. N. Karlov, S. L. Kuznetsov, E. M. Fofanova, “Complexity of Lambek calculi with modalities and of total derivability in grammars”, Algebra and Logic, 60:5 (2021), 308–326  mathnet  crossref  crossref  mathscinet  zmath  isi  scopus
22. S. L. Kuznetsov, “Printsip dekompozitsii i algoritmicheskaya nerazreshimost dlya monoidov Klini s deleniyami”, Vserossiiskaya nauchnaya konferentsiya “Matematicheskie osnovy informatiki i informatsionno-kommunikatsionnykh sistem”. Sbornik trudov (Tver, 3–8 dekabrya 2021 g.), eds. S. M. Dudakov, B. N. Karlov, TvGU, Tver, 2021, 176–180  crossref
23. Stepan Kuznetsov, “Complexity of the infinitary Lambek calculus with Kleene star”, Rev. Symb. Log., 14:4 (2021), 946–972  mathnet  crossref  mathscinet  zmath  isi  scopus; 3

   2020
24. Max Kanovich, Stepan Kuznetsov, Andre Scedrov, “Reconciling Lambek's restriction, cut-elimination, and substitution in the presence of exponential modalities”, J. Logic Comput., 30:1 (2020), 239–256  mathnet  crossref  mathscinet  zmath  isi  scopus 6
25. S. L. Kuznetsov, N. S. Ryzhkova, “A restricted fragment of the Lambek calculus with iteration and intersection operations”, Algebra and Logic, 59:2 (2020), 129–146  mathnet  crossref  crossref  mathscinet  zmath  isi  scopus
26. Max Kanovich, Stepan Kuznetsov, Vivek Nigam, Andre Scedrov, “Soft subexponentials and multiplexing”, Automated Reasoning, 10th International Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Lecture Notes in Comput. Sci., 12166, Springer, 2020, 500–517  mathnet  crossref  mathscinet  zmath  isi  scopus 5
27. Stepan Kuznetsov, “The ‘long rule’ in the Lambek calculus with iteration: undecidability without meets and joins”, AiML 2020, Helsinki, Finland, August 24–28, 2020, Advances in Modal Logic, 13, College Publications, London, 2020, 425–440  mathnet  mathscinet  zmath  scopus
28. Stepan L. Kuznetsov, “A $\Pi^0_1$-bounded fragment of infinitary action logic with exponential”, Logic, Language, and Security: Scedrov Festschrift, Lecture Notes in Comput. Sci., 12300, Springer, Cham, 2020, 3–16  mathnet  crossref  mathscinet  zmath  scopus; 1
29. Stepan Kuznetsov, “Complexity of commutative infinitary action logic”, Dynamic Logic. New Trends and Applications, Third International Workshop, DaLi 2020, Prague, Czech Republic, October 9–10, 2020, Lecture Notes in Comput. Sci., 12569, Springer, Cham, 2020, 155–169  mathnet  crossref  mathscinet  zmath  scopus; 1
30. S. Kuznetsov, Kvant, 2020, no. 10, 32–33  mathnet

   2019
31. 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  mathscinet  isi  scopus 22
32. 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  crossref  mathscinet  zmath  isi  scopus 2
33. 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  mathscinet  isi  scopus 7
34. Stepan Kuznetsov, “Complexity of reasoning in residuated Kleene algebras”, 5th International Workshop on Structures and Deduction (Dortmund, June 29–30, 2019), 2019 (pdf)
35. 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  mathscinet  zmath  isi  scopus 7
36. 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  mathscinet  zmath  isi  scopus 4
37. 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  mathscinet  scopus 1
38. 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 (pdf)
39. S. L. Kuznetsov, Kvant, 2019, no. 3, 29–31  mathnet  crossref
40. S. Kuznetsov, Kvant, 2019, no. 12, 10–11  mathnet  crossref

   2018
41. 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 5
42. Max Kanovich, Stepan Kuznetsov, Vivek Nigam, Andre Scedrov, “A logical framework with commutative and non-commutative subexponentials”, Automated Reasoning, IJCAR 2018 (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  zmath  isi  scopus 9
43. 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 (pdf)
44. Stepan Kuznetsov, “$*$-continuity vs. induction: divide and conquer”, 12th Conference on ""Advances in Modal Logic"", AiML 2018, Advances in Modal Logic, 12, University of Bern, Bern, Switzerland, 2018, 493–510  mathnet  mathscinet  zmath  scopus;
45. S. L. Kuznetsov, Kvant, 2018, no. 11, 9  mathnet
46. S. L. Kuznetsov, Kvant, 2018, no. 5, 24  mathnet
47. S. L. Kuznetsov, Kvant, 2018, no. 3, 32–33  mathnet

   2017
48. 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  mathscinet  scopus 6
49. 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  mathscinet  scopus 3
50. 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 6
51. 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  mathscinet  scopus
52. 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  isi  scopus 9
53. S. Kuznetsov, Eliminating the unit constant in the Lambek calculus with brackets, 2017 , 7 pp., arXiv: 1711.06361
54. S. Kuznetsov, “Ptichka vyletaet!”, Kvantik, 2017, no. 2, 10–11
55. S. L. Kuznetsov, Kvant, 2017, no. 10, 2–5  mathnet
56. S. L. Kuznetsov, Kvant, 2017, no. 9, 10–14  mathnet
57. S. L. Kuznetsov, Kvant, 2017, no. 6, 21–24  mathnet
58. S. L. Kuznetsov, Kvant, 2017, no. 4, 36–38  mathnet
59. S. L. Kuznetsov, Kvant, 2017, no. 1, 30–31  mathnet

   2016
60. 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  elib  scopus 3
61. 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 13
62. 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  elib  elib  scopus
63. 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. (pdf)

   2015
64. S. L. Kuznetsov, “On Translating Context-Free Grammars into Lambek Grammars”, Proc. Steklov Inst. Math., 290 (2015), 63–69  mathnet  crossref  crossref  isi  elib  elib  scopus
65. 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 [tezisy .pdf]

   2014
66. 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 1
67. 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 5
68. 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

   2013
69. 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 5

   2012
70. 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  zmath  scopus 2
71. 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 4
72. S. Kuznetsov, “Lambek grammars with one division and one primitive type”, Log. J. IGPL, 20:1 (2012), 207–221  mathnet  crossref  mathscinet  zmath  isi  scopus 10
73. 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
74. 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  adsnasa  elib  elib  scopus

   2009
75. 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  isi  elib  elib  scopus
76. 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 [proceedings, .pdf]

Presentations in Math-Net.Ru
1. Грамматики Ламбека: неклассическая логика для математической лингвистики. Семинар 4
S. L. Kuznetsov
Summer School “Contemporary Mathematics” Named After Vitaly Arnold, 2024
July 24, 2024 09:30   
2. Грамматики Ламбека: неклассическая логика для математической лингвистики. Семинар 3
S. L. Kuznetsov
Summer School “Contemporary Mathematics” Named After Vitaly Arnold, 2024
July 23, 2024 09:30   
3. Грамматики Ламбека: неклассическая логика для математической лингвистики. Семинар 2
S. L. Kuznetsov
Summer School “Contemporary Mathematics” Named After Vitaly Arnold, 2024
July 21, 2024 15:30   
4. Грамматики Ламбека: неклассическая логика для математической лингвистики. Семинар 1
S. L. Kuznetsov
Summer School “Contemporary Mathematics” Named After Vitaly Arnold, 2024
July 20, 2024 15:30   
5. Исчисление Ламбека и синтаксические формальные понятия
S. L. Kuznetsov

June 24, 2024 12:00   
6. О разрешимых фрагментах некоторых логических систем
S. L. Kuznetsov, S. O. Speranski

May 22, 2024 18:15
7. Undecidability of the theory of Kleene algebras with commutativity conditions
S. L. Kuznetsov
Seminars "Proof Theory" and "Logic Online Seminar"
March 11, 2024 18:30   
8. Замыкающие ординалы и сложность для инфинитарной логики действий
S. L. Kuznetsov

March 6, 2024 18:15
9. Алгоритмические вопросы для субструктурных логик с итерацией Клини
S. L. Kuznetsov
Seminars "Proof Theory" and "Logic Online Seminar"
April 18, 2023 18:30   
10. Алгебраические логики с итерацией Клини
S. L. Kuznetsov
Mathematical seminar Faculty of Computer Science HSE
March 31, 2023 18:10   
11. Lecture 12. Lambda Calculus
S. L. Kuznetsov
Lambda Calculus
November 29, 2022 16:25   
12. Инфинитарная логика действий с экспоненциальными модальностями
S. L. Kuznetsov, S. O. Speranski
Scientific session of the Steklov Mathematical Institute of RAS dedicated to the results of 2022
November 23, 2022 11:40   
13. Lecture 11. Lambda Calculus
S. L. Kuznetsov
Lambda Calculus
November 22, 2022 16:25   
14. Lecture 10. Lambda Calculus
S. L. Kuznetsov
Lambda Calculus
November 15, 2022 16:25   
15. Lecture 9. Lambda Calculus
S. L. Kuznetsov
Lambda Calculus
November 8, 2022 16:25   
16. Lecture 8. Lambda Calculus
S. L. Kuznetsov
Lambda Calculus
November 1, 2022 16:25   
17. Kleene star in substructural logics
Stepan Kuznetsov
Fourth Workshop on Digitalization and Computable Models (WDCM-2022)
October 26, 2022 09:00   
18. Lecture 7. Lambda Calculus
S. L. Kuznetsov
Lambda Calculus
October 25, 2022 16:25   
19. Lecture 6. Lambda Calculus
S. L. Kuznetsov
Lambda Calculus
October 18, 2022 16:25   
20. Lecture 5. Lambda Calculus
S. L. Kuznetsov
Lambda Calculus
October 11, 2022 16:25   
21. Lecture 4. Lambda Calculus
S. L. Kuznetsov
Lambda Calculus
October 4, 2022 16:25   
22. Lecture 3. Lambda Calculus
S. L. Kuznetsov
Lambda Calculus
September 27, 2022 16:25   
23. Seminar 2. Substructural Logics and Their Applications in Linguistics
S. L. Kuznetsov
Seminar by S. L. Kuznetsov and S. O. Speranski "Non-classical Logics"
September 21, 2022 18:00   
24. Lecture 2. Lambda Calculus
S. L. Kuznetsov
Lambda Calculus
September 20, 2022 16:25   
25. Lecture 1. Lambda Calculus
S. L. Kuznetsov
Lambda Calculus
September 13, 2022 16:25   
26. Relational models for the Lambek calculus
S. L. Kuznetsov
Seminar by S. L. Kuznetsov and V. B. Shehtman "Algebraic and categorical logic"
April 13, 2022 18:30   
27. Structures with Kleene iteration and their logics
S. L. Kuznetsov
Seminar by S. L. Kuznetsov and V. B. Shehtman "Algebraic and categorical logic"
March 9, 2022 18:00   
28. Circular proofs for non-classical logics
S. L. Kuznetsov
Beijing–Moscow Mathematics Colloquium
March 4, 2022 12:00
29. Seminar 1. Algebraic and categorical logic
S. L. Kuznetsov, V. B. Shehtman
Seminar by S. L. Kuznetsov and V. B. Shehtman "Algebraic and categorical logic"
February 9, 2022 18:00   
30. Lecture 14. Lambda Calculus
S. L. Kuznetsov
Lambda Calculus
December 13, 2021 16:25   
31. Lecture 13. Lambda Calculus
S. L. Kuznetsov
Lambda Calculus
December 6, 2021 16:25   
32. Лекция 12. Неразрешимость задачи о сильной нормализуемости (продолжение)
S. L. Kuznetsov
Lambda Calculus
November 29, 2021 16:25   
33. Лекция 11. Неразрешимость задачи о сильной нормализуемости
S. L. Kuznetsov
Lambda Calculus
November 22, 2021 16:25   
34. Lecture 10. Lambda Calculus
S. L. Kuznetsov
Lambda Calculus
November 15, 2021 16:25   
35. Lecture 9. Lambda Calculus
S. L. Kuznetsov
Lambda Calculus
November 8, 2021 16:25   
36. Lecture 8. Lambda Calculus
S. L. Kuznetsov
Lambda Calculus
October 25, 2021 16:25   
37. Lecture 7. Lambda Calculus
S. L. Kuznetsov
Lambda Calculus
October 18, 2021 16:25   
38. Lecture 6. Lambda Calculus
S. L. Kuznetsov
Lambda Calculus
October 11, 2021 16:25   
39. Lecture 5. Lambda Calculus
S. L. Kuznetsov
Lambda Calculus
October 4, 2021 16:25   
40. Lecture 4. Lambda Calculus
S. L. Kuznetsov
Lambda Calculus
September 27, 2021 16:25   
41. Lecture 3. Lambda Calculus
S. L. Kuznetsov
Lambda Calculus
September 20, 2021 16:25   
42. Lecture 2. Lambda Calculus
S. L. Kuznetsov
Lambda Calculus
September 13, 2021 16:25   
43. Lecture 1. Lambda Calculus
S. L. Kuznetsov
Lambda Calculus
September 6, 2021 16:25   
44. Complexity of Theories for Structures with Kleene Star
S. L. Kuznetsov

August 10, 2021 16:40   
45. Infinitary action logic with exponentiation
S. L. Kuznetsov, S. O. Speranski
Logical Perspectives 2021: Summer School and Workshop
June 18, 2021 12:30   
46. Lecture 11. Structural Proof Theory and Algebraic Logic
S. L. Kuznetsov
Structural Proof Theory and Algebraic Logic
May 17, 2021 16:40   
47. Lecture 10. Structural Proof Theory and Algebraic Logic
S. L. Kuznetsov
Structural Proof Theory and Algebraic Logic
April 26, 2021 16:45   
48. Lecture 9. Structural Proof Theory and Algebraic Logic
S. L. Kuznetsov
Structural Proof Theory and Algebraic Logic
April 19, 2021 16:45   
49. Lecture 8. Structural Proof Theory and Algebraic Logic
S. L. Kuznetsov
Structural Proof Theory and Algebraic Logic
April 12, 2021 16:45   
50. Lecture 7. Structural Proof Theory and Algebraic Logic
S. L. Kuznetsov
Structural Proof Theory and Algebraic Logic
April 5, 2021 16:45   
51. Lecture 6. Structural Proof Theory and Algebraic Logic
S. L. Kuznetsov
Structural Proof Theory and Algebraic Logic
March 29, 2021 16:45   
52. Lecture 5. Structural Proof Theory and Algebraic Logic
S. L. Kuznetsov
Structural Proof Theory and Algebraic Logic
March 22, 2021 16:45   
53. Lecture 4. Structural Proof Theory and Algebraic Logic
S. L. Kuznetsov
Structural Proof Theory and Algebraic Logic
March 15, 2021 16:45   
54. Lecture 3. Structural Proof Theory and Algebraic Logic
S. L. Kuznetsov
Structural Proof Theory and Algebraic Logic
March 1, 2021 16:45   
55. Lecture 2. Structural Proof Theory and Algebraic Logic
S. L. Kuznetsov
Structural Proof Theory and Algebraic Logic
February 15, 2021 16:45   
56. Lecture 1. Structural Proof Theory and Algebraic Logic
S. L. Kuznetsov
Structural Proof Theory and Algebraic Logic
February 8, 2021 16:35   
57. Lecture 14. Circular proofs
S. L. Kuznetsov, D. S. Shamkanov
Course by S. L. Kuznetsov and D. S. Shamkanov "Circular proofs"
December 14, 2020 16:30   
58. Lecture 13. Circular proofs
S. L. Kuznetsov, D. S. Shamkanov
Course by S. L. Kuznetsov and D. S. Shamkanov "Circular proofs"
December 7, 2020 16:30   
59. Lecture 12. Circular proofs
S. L. Kuznetsov, D. S. Shamkanov
Course by S. L. Kuznetsov and D. S. Shamkanov "Circular proofs"
November 30, 2020 16:30   
60. Lecture 11. Circular proofs
S. L. Kuznetsov, D. S. Shamkanov
Course by S. L. Kuznetsov and D. S. Shamkanov "Circular proofs"
November 23, 2020 16:30   
61. Lecture 10. Circular proofs
S. L. Kuznetsov, D. S. Shamkanov
Course by S. L. Kuznetsov and D. S. Shamkanov "Circular proofs"
November 9, 2020 16:30   
62. Lecture 9. Circular proofs
S. L. Kuznetsov, D. S. Shamkanov
Course by S. L. Kuznetsov and D. S. Shamkanov "Circular proofs"
November 2, 2020 16:30   
63. Decidable fragments of the Lambek calculus with subexponentials
S. L. Kuznetsov
Seminars "Proof Theory" and "Logic Online Seminar"
October 26, 2020 18:30   
64. Lecture 8. Circular proofs
S. L. Kuznetsov, D. S. Shamkanov
Course by S. L. Kuznetsov and D. S. Shamkanov "Circular proofs"
October 26, 2020 16:30   
65. Lecture 7. Circular proofs
S. L. Kuznetsov, D. S. Shamkanov
Course by S. L. Kuznetsov and D. S. Shamkanov "Circular proofs"
October 19, 2020 16:30   
66. Lecture 6. Circular proofs
S. L. Kuznetsov, D. S. Shamkanov
Course by S. L. Kuznetsov and D. S. Shamkanov "Circular proofs"
October 12, 2020 16:30   
67. Lecture 5. Circular proofs
S. L. Kuznetsov, D. S. Shamkanov
Course by S. L. Kuznetsov and D. S. Shamkanov "Circular proofs"
October 5, 2020 16:30   
68. Lecture 4. Circular proofs
S. L. Kuznetsov, D. S. Shamkanov
Course by S. L. Kuznetsov and D. S. Shamkanov "Circular proofs"
September 28, 2020 16:30   
69. Lecture 3. Circular proofs
S. L. Kuznetsov, D. S. Shamkanov
Course by S. L. Kuznetsov and D. S. Shamkanov "Circular proofs"
September 21, 2020 16:30   
70. Обзор курса и ответы на вопросы
S. L. Kuznetsov, T. Yavorskaya

May 14, 2020 16:00   
71. Лекция 16. Основы теории множеств, ч. 4
S. L. Kuznetsov

May 7, 2020 14:45
72. Лекция 15. Основы теории множеств, ч. 3
S. L. Kuznetsov

April 30, 2020 14:45   
73. Лекция 14. Основы теории множеств, ч. 2
S. L. Kuznetsov

April 27, 2020 14:30   
74. Лекция 13. Основы теории множеств, ч. 1
S. L. Kuznetsov

April 23, 2020 14:45   
75. Лекция 12. Интуиционистская логика первого порядка, ч. 5
S. L. Kuznetsov

April 20, 2020 14:30   
76. Лекция 11. Интуиционистская логика первого порядка, ч. 4
S. L. Kuznetsov

April 16, 2020 14:45   
77. Закон дистрибутивности во фрагментах линейной и аффинной логик
S. L. Kuznetsov
Seminar of the Laboratory of Mathematical Logic (Saint Petersburg)
April 14, 2020 18:15   
78. Лекция 10. Интуиционистская логика первого порядка, ч. 3
S. L. Kuznetsov

April 13, 2020 14:30   
79. Лекция 9. Интуиционистская логика первого порядка, ч. 2
S. L. Kuznetsov

April 9, 2020 14:45   
80. Лекция 8. Интуиционистская логика первого порядка, ч. 1
S. L. Kuznetsov

April 6, 2020 14:30   
81. Лекция 7. Теоремы Гёделя о неполноте
S. L. Kuznetsov

March 27, 2020 11:00   
82. Лекция 6. Третье условие доказуемости. Теорема о неподвижной точке
S. L. Kuznetsov

March 23, 2020 14:30   
83. Лекция 14. Полные частично упорядоченные множества. Модель Скотта $D_\infty$.
S. L. Kuznetsov
L. D. Beklemishev, S. L. Kuznetsov. Computational proof theory and lambda calculus
March 16, 2020 16:30   
84. Лекция 5. Гёделева нумерация
S. L. Kuznetsov

March 12, 2020 16:45   
85. Лекция 4. Кодирование примитивно-рекурсивных функций
S. L. Kuznetsov

March 5, 2020 16:45   
86. Лекция 3. Китайская теорема об остатках
S. L. Kuznetsov

February 27, 2020 16:45   
87. Лекция 2. Арифметика Пеано
S. L. Kuznetsov

February 20, 2020 16:45   
88. Лекция 1. Примитивно-рекурсивные функции
S. L. Kuznetsov

February 13, 2020 16:45   
89. Лекция 11. Модели лямбда-исчисления
L. D. Beklemishev, S. L. Kuznetsov
L. D. Beklemishev, S. L. Kuznetsov. Computational proof theory and lambda calculus
February 10, 2020 16:30   
90. Лекция 9. Полнота типового лямбда-исчисления относительно теоретико-множественной семантики
S. L. Kuznetsov
L. D. Beklemishev, S. L. Kuznetsov. Computational proof theory and lambda calculus
December 2, 2019 16:30   
91. Лекция 8. Теорема о сильной нормализуемости для типового лямбда-исчисления (окончание). Теоретико-множественная семантика типового лямбда-исчисления
S. L. Kuznetsov
L. D. Beklemishev, S. L. Kuznetsov. Computational proof theory and lambda calculus
November 25, 2019 16:30   
92. Лекция 7. Алгоритм выведения наиболее общего типа в системе Карри (окончание). Теорема о сильной нормализуемости для типового лямбда-исчисления
S. L. Kuznetsov
L. D. Beklemishev, S. L. Kuznetsov. Computational proof theory and lambda calculus
November 18, 2019 16:30   
93. Лекция 6. Алгоритм выведения наиболее общего типа в системе Карри
S. L. Kuznetsov
L. D. Beklemishev, S. L. Kuznetsov. Computational proof theory and lambda calculus
November 11, 2019 16:30   
94. Лекция 5. Сохранение типа при бета-редукции. Интуиционистская логика высказываний, соответствие Карри - Говарда
S. L. Kuznetsov
L. D. Beklemishev, S. L. Kuznetsov. Computational proof theory and lambda calculus
October 28, 2019 16:30   
95. Лекция 4. Свойство Чёрча - Россера (окончание). Типовое лямбда исчисление: типизации по Чёрчу и по Карри
S. L. Kuznetsov
L. D. Beklemishev, S. L. Kuznetsov. Computational proof theory and lambda calculus
October 21, 2019 16:30   
96. Лекция 3. Представимость вычислимых функций в бестиповом лямбда-исчислении. Свойство Чёрча - Россера
S. L. Kuznetsov
L. D. Beklemishev, S. L. Kuznetsov. Computational proof theory and lambda calculus
October 14, 2019   
97. Лекция 2. Теорема о неподвижной точке. Представимость примитивно-рекурсивных функций в бестиповом лямбда-исчислении
S. L. Kuznetsov
L. D. Beklemishev, S. L. Kuznetsov. Computational proof theory and lambda calculus
October 7, 2019   
98. Лекция 1.Введение. Бестиповое лямбда-исчисление. Представление натуральных чисел в бестиповом лямбда-исчислении
L. D. Beklemishev, S. L. Kuznetsov
L. D. Beklemishev, S. L. Kuznetsov. Computational proof theory and lambda calculus
September 30, 2019   
99. Линейная логика и функциональное программирование
S. L. Kuznetsov
Colloquium of the Faculty of Computer Science
February 12, 2019 18:10   
100. $\Pi_1^0$-полнота исчисления Ламбека с итерацией Клини
S. L. Kuznetsov
Traditional winter session MIAN–POMI devoted to the topic "Mathematical logic"
December 25, 2018 15:05   
101. Неразрешимость логики решёток Клини с делениями
S. L. Kuznetsov
Seminars "Proof Theory" and "Logic Online Seminar"
October 29, 2018 18:30   
102. Рекурсивно перечислимые теории, не имеющие алгоритмически разрешимой аксиоматизации
S. L. Kuznetsov
"Algorithmic problems in algebra and logic" (S.I.Adian seminar)
November 14, 2017 18:30
103. Iteration in residuated structures
S. Kuznetsov
Workshop on Proof Theory, Modal Logic and Reflection Principles
October 20, 2017 10:00   
104. Исчисления Ламбека с обогащением сигнатуры операцией итерации
S. L. Kuznetsov
"Algorithmic problems in algebra and logic" (S.I.Adian seminar)
May 16, 2017 18:30
105. Extensions of context-free grammars and categorial grammars
S. L. Kuznetsov
Matsbornik-150: algebra, geometry, analysis
November 7, 2016 12:40   
106. Межфакультетский курс «Категориальные грамматики». Лекция 13
S. L. Kuznetsov

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

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

April 6, 2016 17:00   
109. Невозможность замены правила сокращения конечным числом определяющих соотношений при задании полугруппы
S. L. Kuznetsov
"Algorithmic problems in algebra and logic" (S.I.Adian seminar)
April 5, 2016 18:30
110. Межфакультетский курс «Категориальные грамматики». Лекция 6
S. L. Kuznetsov, M. R. Pentus

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

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

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

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

February 17, 2016 17:00
115. О двух модальных расширениях исчисления Ламбека
S. L. Kuznetsov
"Algorithmic problems in algebra and logic" (S.I.Adian seminar)
October 20, 2015 18:30
116. Лямбда-исчисление, или вычислительная теория доказательств. Лекция 12
S. L. Kuznetsov
Special course "Lambda calculus, or computational proof theory", 2015
May 13, 2015 18:00   
117. 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   
118. Преобразование контекстно-свободных грамматик в грамматики Ламбека, сохраняющее семантические значения слов
S. L. Kuznetsov
"Algorithmic problems in algebra and logic" (S.I.Adian seminar)
April 28, 2015 18:30
119. 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   
120. 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   
121. 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   
122. 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   
123. 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   
124. 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   
125. 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   
126. 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   
127. Lambek categorial grammars
Stepan Kuznetsov
Colloquium of Steklov Mathematical Institute of Russian Academy of Sciences
June 5, 2014 16:00   
128. Conjunctive grammars and the Lambek calculus enriched with the intersection connective
S. Kuznetsov
"Algorithmic problems in algebra and logic" (S.I.Adian seminar)
October 8, 2013 18:30
129. Free monoid powerset models for two extensions of Lambek calculus
S. Kuznetsov
"Algorithmic problems in algebra and logic" (S.I.Adian seminar)
November 27, 2012 18:30
130. 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 to the website  Logotypes © Steklov Mathematical Institute RAS, 2024