Kuznetsov Stepan Lvovich

Presentations in Math-Net.Ru

1. 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   
2. Lecture 12. Lambda Calculus
   S. L. Kuznetsov
   Lambda Calculus
   November 29, 2022 16:25   
3. Lecture 11. Lambda Calculus
   S. L. Kuznetsov
   Lambda Calculus
   November 22, 2022 16:25   
4. Lecture 10. Lambda Calculus
   S. L. Kuznetsov
   Lambda Calculus
   November 15, 2022 16:25   
5. Lecture 9. Lambda Calculus
   S. L. Kuznetsov
   Lambda Calculus
   November 8, 2022 16:25   
6. Lecture 8. Lambda Calculus
   S. L. Kuznetsov
   Lambda Calculus
   November 1, 2022 16:25   
7. Kleene star in substructural logics
   Stepan Kuznetsov
   Fourth Workshop on Digitalization and Computable Models (WDCM-2022)
   October 26, 2022 09:00   
8. Lecture 7. Lambda Calculus
   S. L. Kuznetsov
   Lambda Calculus
   October 25, 2022 16:25   
9. Lecture 6. Lambda Calculus
   S. L. Kuznetsov
   Lambda Calculus
   October 18, 2022 16:25   
10. Lecture 5. Lambda Calculus
    S. L. Kuznetsov
    Lambda Calculus
    October 11, 2022 16:25   
11. Lecture 4. Lambda Calculus
    S. L. Kuznetsov
    Lambda Calculus
    October 4, 2022 16:25   
12. Lecture 3. Lambda Calculus
    S. L. Kuznetsov
    Lambda Calculus
    September 27, 2022 16:25   
13. 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   
14. Lecture 2. Lambda Calculus
    S. L. Kuznetsov
    Lambda Calculus
    September 20, 2022 16:25   
15. Lecture 1. Lambda Calculus
    S. L. Kuznetsov
    Lambda Calculus
    September 13, 2022 16:25   
16. 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   
17. 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   
18. Circular proofs for non-classical logics
    S. L. Kuznetsov
    Beijing–Moscow Mathematics Colloquium
    March 4, 2022 12:00
19. 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   
20. Lecture 14. Lambda Calculus
    S. L. Kuznetsov
    Lambda Calculus
    December 13, 2021 16:25   
21. Lecture 13. Lambda Calculus
    S. L. Kuznetsov
    Lambda Calculus
    December 6, 2021 16:25   
22. Lecture 10. Lambda Calculus
    S. L. Kuznetsov
    Lambda Calculus
    November 15, 2021 16:25   
23. Lecture 9. Lambda Calculus
    S. L. Kuznetsov
    Lambda Calculus
    November 8, 2021 16:25   
24. Lecture 8. Lambda Calculus
    S. L. Kuznetsov
    Lambda Calculus
    October 25, 2021 16:25   
25. Lecture 7. Lambda Calculus
    S. L. Kuznetsov
    Lambda Calculus
    October 18, 2021 16:25   
26. Lecture 6. Lambda Calculus
    S. L. Kuznetsov
    Lambda Calculus
    October 11, 2021 16:25   
27. Lecture 5. Lambda Calculus
    S. L. Kuznetsov
    Lambda Calculus
    October 4, 2021 16:25   
28. Lecture 4. Lambda Calculus
    S. L. Kuznetsov
    Lambda Calculus
    September 27, 2021 16:25   
29. Lecture 3. Lambda Calculus
    S. L. Kuznetsov
    Lambda Calculus
    September 20, 2021 16:25   
30. Lecture 2. Lambda Calculus
    S. L. Kuznetsov
    Lambda Calculus
    September 13, 2021 16:25   
31. Lecture 1. Lambda Calculus
    S. L. Kuznetsov
    Lambda Calculus
    September 6, 2021 16:25   
32. Infinitary action logic with exponentiation
    S. L. Kuznetsov, S. O. Speranski
    Logical Perspectives 2021: Summer School and Workshop
    June 18, 2021 12:30   
33. Lecture 11. Structural Proof Theory and Algebraic Logic
    S. L. Kuznetsov
    Structural Proof Theory and Algebraic Logic
    May 17, 2021 16:40   
34. Lecture 10. Structural Proof Theory and Algebraic Logic
    S. L. Kuznetsov
    Structural Proof Theory and Algebraic Logic
    April 26, 2021 16:45   
35. Lecture 9. Structural Proof Theory and Algebraic Logic
    S. L. Kuznetsov
    Structural Proof Theory and Algebraic Logic
    April 19, 2021 16:45   
36. Lecture 8. Structural Proof Theory and Algebraic Logic
    S. L. Kuznetsov
    Structural Proof Theory and Algebraic Logic
    April 12, 2021 16:45   
37. Lecture 7. Structural Proof Theory and Algebraic Logic
    S. L. Kuznetsov
    Structural Proof Theory and Algebraic Logic
    April 5, 2021 16:45   
38. Lecture 6. Structural Proof Theory and Algebraic Logic
    S. L. Kuznetsov
    Structural Proof Theory and Algebraic Logic
    March 29, 2021 16:45   
39. Lecture 5. Structural Proof Theory and Algebraic Logic
    S. L. Kuznetsov
    Structural Proof Theory and Algebraic Logic
    March 22, 2021 16:45   
40. Lecture 4. Structural Proof Theory and Algebraic Logic
    S. L. Kuznetsov
    Structural Proof Theory and Algebraic Logic
    March 15, 2021 16:45   
41. Lecture 3. Structural Proof Theory and Algebraic Logic
    S. L. Kuznetsov
    Structural Proof Theory and Algebraic Logic
    March 1, 2021 16:45   
42. Lecture 2. Structural Proof Theory and Algebraic Logic
    S. L. Kuznetsov
    Structural Proof Theory and Algebraic Logic
    February 15, 2021 16:45   
43. Lecture 1. Structural Proof Theory and Algebraic Logic
    S. L. Kuznetsov
    Structural Proof Theory and Algebraic Logic
    February 8, 2021 16:35   
44. 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   
45. 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   
46. 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   
47. 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   
48. 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   
49. 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   
50. Decidable fragments of the Lambek calculus with subexponentials
    S. L. Kuznetsov
    Seminars "Proof Theory" and "Logic Online Seminar"
    October 26, 2020 18:30   
51. 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   
52. 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   
53. 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   
54. 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   
55. 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   
56. 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   
57. Iteration in residuated structures
    S. Kuznetsov
    Workshop on Proof Theory, Modal Logic and Reflection Principles
    October 20, 2017 10:00   
58. Extensions of context-free grammars and categorial grammars
    S. L. Kuznetsov
    Matsbornik-150: algebra, geometry, analysis
    November 7, 2016 12:40   
59. 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   
60. 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   
61. 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   
62. 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   
63. 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   
64. 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   
65. 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   
66. 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   
67. 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   
68. Lambek categorial grammars
    Stepan Kuznetsov
    Colloquium of Steklov Mathematical Institute of Russian Academy of Sciences
    June 5, 2014 16:00   
69. 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
70. 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
71. Grammars based on variants of the Lambek calculus
    Stepan Kuznetsov
    International workshop "Logical Models of Reasoning and Computation"
    February 3, 2012 15:30