Kuznetsov Stepan Lvovich

Presentations in Math-Net.Ru

1. Lecture 14. Algorithmic problems for formal grammars
   S. L. Kuznetsov, T. G. Pshenitsyn
   Course by S. L. Kuznetsov and T. G. Pshenitsyn "Algorithmic problems for formal grammars"
   December 18, 2025 18:00   
2. Lecture 13. Algorithmic problems for formal grammars
   S. L. Kuznetsov, T. G. Pshenitsyn
   Course by S. L. Kuznetsov and T. G. Pshenitsyn "Algorithmic problems for formal grammars"
   December 11, 2025 18:00   
3. Lecture 12. Algorithmic problems for formal grammars
   S. L. Kuznetsov, T. G. Pshenitsyn
   Course by S. L. Kuznetsov and T. G. Pshenitsyn "Algorithmic problems for formal grammars"
   December 4, 2025 18:00   
4. Lecture 11. Algorithmic problems for formal grammars
   S. L. Kuznetsov, T. G. Pshenitsyn
   Course by S. L. Kuznetsov and T. G. Pshenitsyn "Algorithmic problems for formal grammars"
   November 27, 2025 18:00   
5. Lecture 10. Algorithmic problems for formal grammars
   S. L. Kuznetsov, T. G. Pshenitsyn
   Course by S. L. Kuznetsov and T. G. Pshenitsyn "Algorithmic problems for formal grammars"
   November 20, 2025 18:00   
6. Lecture 9. Algorithmic problems for formal grammars
   S. L. Kuznetsov, T. G. Pshenitsyn
   Course by S. L. Kuznetsov and T. G. Pshenitsyn "Algorithmic problems for formal grammars"
   November 13, 2025 18:00   
7. Lecture 8. Algorithmic problems for formal grammars
   S. L. Kuznetsov, T. G. Pshenitsyn
   Course by S. L. Kuznetsov and T. G. Pshenitsyn "Algorithmic problems for formal grammars"
   November 6, 2025 18:00   
8. Lecture 7. Algorithmic problems for formal grammars
   S. L. Kuznetsov, T. G. Pshenitsyn
   Course by S. L. Kuznetsov and T. G. Pshenitsyn "Algorithmic problems for formal grammars"
   October 30, 2025 18:00   
9. Lecture 6. Algorithmic problems for formal grammars
   S. L. Kuznetsov, T. G. Pshenitsyn
   Course by S. L. Kuznetsov and T. G. Pshenitsyn "Algorithmic problems for formal grammars"
   October 23, 2025 18:00   
10. Lecture 5. Algorithmic problems for formal grammars
    S. L. Kuznetsov, T. G. Pshenitsyn
    Course by S. L. Kuznetsov and T. G. Pshenitsyn "Algorithmic problems for formal grammars"
    October 16, 2025 18:00   
11. Lecture 4. Algorithmic problems for formal grammars
    S. L. Kuznetsov, T. G. Pshenitsyn
    Course by S. L. Kuznetsov and T. G. Pshenitsyn "Algorithmic problems for formal grammars"
    October 9, 2025 18:00   
12. Lecture 3. Algorithmic problems for formal grammars
    S. L. Kuznetsov, T. G. Pshenitsyn
    Course by S. L. Kuznetsov and T. G. Pshenitsyn "Algorithmic problems for formal grammars"
    October 2, 2025 18:00   
13. Lecture 2. Algorithmic problems for formal grammars
    S. L. Kuznetsov, T. G. Pshenitsyn
    Course by S. L. Kuznetsov and T. G. Pshenitsyn "Algorithmic problems for formal grammars"
    September 25, 2025 18:00   
14. Lecture 1. Algorithmic problems for formal grammars
    S. L. Kuznetsov, T. G. Pshenitsyn
    Course by S. L. Kuznetsov and T. G. Pshenitsyn "Algorithmic problems for formal grammars"
    September 18, 2025 18:00   
15. Circular and infinitary proofs for complexity analysis of action logic
    S. L. Kuznetsov
    Seminars "Proof Theory" and "Logic Online Seminar"
    April 28, 2025 16:00
16. Лекция 10. Субструктурные логики
    S. L. Kuznetsov, T. G. Pshenitsyn
    Course "Substructural Logics" by S.L. Kuznetsov and T.G. Pshenitsyn
    April 17, 2025 16:00   
17. Lecture 9. Undecidability of linear logic
    S. L. Kuznetsov, T. G. Pshenitsyn
    Course "Substructural Logics" by S.L. Kuznetsov and T.G. Pshenitsyn
    April 10, 2025 16:00   
18. Lecture 8. Linear logic
    S. L. Kuznetsov, T. G. Pshenitsyn
    Course "Substructural Logics" by S.L. Kuznetsov and T.G. Pshenitsyn
    April 3, 2025 16:00   
19. Lecture 7. L-models and R-models for the Lambek calculus
    S. L. Kuznetsov, T. G. Pshenitsyn
    Course "Substructural Logics" by S.L. Kuznetsov and T.G. Pshenitsyn
    March 27, 2025 16:00   
20. Lecture 6. Roorda's interpolation lemma. Pentus' theorem
    S. L. Kuznetsov, T. G. Pshenitsyn
    Course "Substructural Logics" by S.L. Kuznetsov and T.G. Pshenitsyn
    March 20, 2025 16:00   
21. Lecture 5. Constructing a Lambek grammar from a context-free grammar
    S. L. Kuznetsov, T. G. Pshenitsyn
    Course "Substructural Logics" by S.L. Kuznetsov and T.G. Pshenitsyn
    March 13, 2025 16:00   
22. Lecture 4. Lambek grammars and context-free grammars
    S. L. Kuznetsov, T. G. Pshenitsyn
    Course "Substructural Logics" by S.L. Kuznetsov and T.G. Pshenitsyn
    March 6, 2025 16:00   
23. Lecture 3. PSPACE-hardness of logics between FL and Int. Cut elimination theorem
    S. L. Kuznetsov, T. G. Pshenitsyn
    Course "Substructural Logics" by S.L. Kuznetsov and T.G. Pshenitsyn
    February 27, 2025 16:00   
24. The Lambek calculus with Krull intersection operation — 3
    S. L. Kuznetsov, T. G. Pshenitsyn
    
    February 25, 2025 16:00   
25. Lecture 2. PSPACE complexity class: Savitch's theorem and PSPACE-completeness of the TQBF problem
    S. L. Kuznetsov, T. G. Pshenitsyn
    Course "Substructural Logics" by S.L. Kuznetsov and T.G. Pshenitsyn
    February 20, 2025 16:00   
26. The Lambek calculus with Krull intersection operation — 2
    S. L. Kuznetsov, T. G. Pshenitsyn
    
    February 18, 2025 16:00   
27. Lecture 1. Residuated lattices and substructural calculi
    S. L. Kuznetsov, T. G. Pshenitsyn
    Course "Substructural Logics" by S.L. Kuznetsov and T.G. Pshenitsyn
    February 13, 2025 16:00   
28. The Lambek calculus with Krull intersection operation — 1
    S. L. Kuznetsov, T. G. Pshenitsyn
    
    February 11, 2025 16:00   
29. Relational models for the Lambek calculus with the local contraction subexponential
    M. V. Valinkin, S. L. Kuznetsov
    Seminars "Proof Theory" and "Logic Online Seminar"
    December 23, 2024 16:00   
30. 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   
31. Lecture 12. Lambda Calculus
    S. L. Kuznetsov
    Lambda Calculus
    November 29, 2022 16:25   
32. Lecture 11. Lambda Calculus
    S. L. Kuznetsov
    Lambda Calculus
    November 22, 2022 16:25   
33. Lecture 10. Lambda Calculus
    S. L. Kuznetsov
    Lambda Calculus
    November 15, 2022 16:25   
34. Lecture 9. Lambda Calculus
    S. L. Kuznetsov
    Lambda Calculus
    November 8, 2022 16:25   
35. Lecture 8. Lambda Calculus
    S. L. Kuznetsov
    Lambda Calculus
    November 1, 2022 16:25   
36. Kleene star in substructural logics
    Stepan Kuznetsov
    Fourth Workshop on Digitalization and Computable Models (WDCM-2022)
    October 26, 2022 09:00   
37. Lecture 7. Lambda Calculus
    S. L. Kuznetsov
    Lambda Calculus
    October 25, 2022 16:25   
38. Lecture 6. Lambda Calculus
    S. L. Kuznetsov
    Lambda Calculus
    October 18, 2022 16:25   
39. Lecture 5. Lambda Calculus
    S. L. Kuznetsov
    Lambda Calculus
    October 11, 2022 16:25   
40. Lecture 4. Lambda Calculus
    S. L. Kuznetsov
    Lambda Calculus
    October 4, 2022 16:25   
41. Lecture 3. Lambda Calculus
    S. L. Kuznetsov
    Lambda Calculus
    September 27, 2022 16:25   
42. 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   
43. Lecture 2. Lambda Calculus
    S. L. Kuznetsov
    Lambda Calculus
    September 20, 2022 16:25   
44. Lecture 1. Lambda Calculus
    S. L. Kuznetsov
    Lambda Calculus
    September 13, 2022 16:25   
45. 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   
46. 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   
47. Circular proofs for non-classical logics
    S. L. Kuznetsov
    Beijing–Moscow Mathematics Colloquium
    March 4, 2022 12:00
48. 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   
49. Lecture 14. Lambda Calculus
    S. L. Kuznetsov
    Lambda Calculus
    December 13, 2021 16:25   
50. Lecture 13. Lambda Calculus
    S. L. Kuznetsov
    Lambda Calculus
    December 6, 2021 16:25   
51. Lecture 10. Lambda Calculus
    S. L. Kuznetsov
    Lambda Calculus
    November 15, 2021 16:25   
52. Lecture 9. Lambda Calculus
    S. L. Kuznetsov
    Lambda Calculus
    November 8, 2021 16:25   
53. Lecture 8. Lambda Calculus
    S. L. Kuznetsov
    Lambda Calculus
    October 25, 2021 16:25   
54. Lecture 7. Lambda Calculus
    S. L. Kuznetsov
    Lambda Calculus
    October 18, 2021 16:25   
55. Lecture 6. Lambda Calculus
    S. L. Kuznetsov
    Lambda Calculus
    October 11, 2021 16:25   
56. Lecture 5. Lambda Calculus
    S. L. Kuznetsov
    Lambda Calculus
    October 4, 2021 16:25   
57. Lecture 4. Lambda Calculus
    S. L. Kuznetsov
    Lambda Calculus
    September 27, 2021 16:25   
58. Lecture 3. Lambda Calculus
    S. L. Kuznetsov
    Lambda Calculus
    September 20, 2021 16:25   
59. Lecture 2. Lambda Calculus
    S. L. Kuznetsov
    Lambda Calculus
    September 13, 2021 16:25   
60. Lecture 1. Lambda Calculus
    S. L. Kuznetsov
    Lambda Calculus
    September 6, 2021 16:25   
61. Infinitary action logic with exponentiation
    S. L. Kuznetsov, S. O. Speranski
    Logical Perspectives 2021: Summer School and Workshop
    June 18, 2021 12:30   
62. Lecture 11. Structural Proof Theory and Algebraic Logic
    S. L. Kuznetsov
    Structural Proof Theory and Algebraic Logic
    May 17, 2021 16:40   
63. Lecture 10. Structural Proof Theory and Algebraic Logic
    S. L. Kuznetsov
    Structural Proof Theory and Algebraic Logic
    April 26, 2021 16:45   
64. Lecture 9. Structural Proof Theory and Algebraic Logic
    S. L. Kuznetsov
    Structural Proof Theory and Algebraic Logic
    April 19, 2021 16:45   
65. Lecture 8. Structural Proof Theory and Algebraic Logic
    S. L. Kuznetsov
    Structural Proof Theory and Algebraic Logic
    April 12, 2021 16:45   
66. Lecture 7. Structural Proof Theory and Algebraic Logic
    S. L. Kuznetsov
    Structural Proof Theory and Algebraic Logic
    April 5, 2021 16:45   
67. Lecture 6. Structural Proof Theory and Algebraic Logic
    S. L. Kuznetsov
    Structural Proof Theory and Algebraic Logic
    March 29, 2021 16:45   
68. Lecture 5. Structural Proof Theory and Algebraic Logic
    S. L. Kuznetsov
    Structural Proof Theory and Algebraic Logic
    March 22, 2021 16:45   
69. Lecture 4. Structural Proof Theory and Algebraic Logic
    S. L. Kuznetsov
    Structural Proof Theory and Algebraic Logic
    March 15, 2021 16:45   
70. Lecture 3. Structural Proof Theory and Algebraic Logic
    S. L. Kuznetsov
    Structural Proof Theory and Algebraic Logic
    March 1, 2021 16:45   
71. Lecture 2. Structural Proof Theory and Algebraic Logic
    S. L. Kuznetsov
    Structural Proof Theory and Algebraic Logic
    February 15, 2021 16:45   
72. Lecture 1. Structural Proof Theory and Algebraic Logic
    S. L. Kuznetsov
    Structural Proof Theory and Algebraic Logic
    February 8, 2021 16:35   
73. 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   
74. 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   
75. 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   
76. 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   
77. 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   
78. 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   
79. Decidable fragments of the Lambek calculus with subexponentials
    S. L. Kuznetsov
    Seminars "Proof Theory" and "Logic Online Seminar"
    October 26, 2020 18:30   
80. 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   
81. 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   
82. 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   
83. 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   
84. 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   
85. 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   
86. Iteration in residuated structures
    S. Kuznetsov
    Workshop on Proof Theory, Modal Logic and Reflection Principles
    October 20, 2017 10:00   
87. Extensions of context-free grammars and categorial grammars
    S. L. Kuznetsov
    Matsbornik-150: algebra, geometry, analysis
    November 7, 2016 12:40   
88. 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   
89. 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   
90. 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   
91. 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   
92. 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   
93. 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   
94. 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   
95. 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   
96. 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   
97. Lambek categorial grammars
    Stepan Kuznetsov
    Colloquium of Steklov Mathematical Institute of Russian Academy of Sciences
    June 5, 2014 16:00   
98. 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
99. 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
100. Grammars based on variants of the Lambek calculus
     Stepan Kuznetsov
     International workshop "Logical Models of Reasoning and Computation"
     February 3, 2012 15:30