Pshenitsyn Tikhon Grigor'evich

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. Лекция 10. Субструктурные логики
    S. L. Kuznetsov, T. G. Pshenitsyn
    Course "Substructural Logics" by S.L. Kuznetsov and T.G. Pshenitsyn
    April 17, 2025 16:00   
16. 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   
17. 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   
18. 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   
19. 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   
20. 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   
21. Intuitionistic First-Order Linear Logic and Hypergraph Languages
    T. G. Pshenitsyn
    Seminars "Proof Theory" and "Logic Online Seminar"
    March 10, 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. Algebraic semantics for hypergraph Lambek calculus
    Tikhon Pshenitsyn
    Workshop "Semantical and Computational Aspects of Non-Classical Logics" (SCAN 2023)
    June 15, 2023 15:30   
30. Seminar 9. Algebraic Glimpse on Non-classical Logics
    T. G. Pshenitsyn
    Seminar by S. L. Kuznetsov and S. O. Speranski "Non-classical Logics"
    November 16, 2022 18:00