Persons
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
 
Pshenitsyn, Tikhon Grigor'evich
Statistics
in MathSciNet: 4 (4)
in Web of Science: 3 (3)
in Scopus: 1 (1)
Scientific Employee
Keywords: Lambek calculus, graph grammar, hyperedge replacement grammar

Subject:

formal grammar, substructural logic, algorithmic complexity
   
Main publications:
  1. Tikhon Pshenitsyn, “On decidability and expressive power of fusion grammars”, Theoretical Computer Science, 1052 (2025), 115420
  2. Stepan L. Kuznetsov, Tikhon Pshenitsyn, Stanislav O. Speranski, “Reasoning from hypotheses in ∗‑continuous action lattices”, Journal of Symbolic Logic, 2025, 1–39
  3. Tikhon Pshenitsyn, “Commutative Lambek grammars”, Journal of Logic, Language and Information, 32 (2023), 887–936
  4. Tikhon Pshenitsyn, “Hypergraph Lambek grammars”, Journal of Logical and Algebraic Methods in Programming, 129 (2022)

https://www.mathnet.ru/eng/person189359
https://scholar.google.com/citations?user=i16_1KMAAAAJ&hl=en
ISTINA https://istina.msu.ru/workers/329392482
https://orcid.org/0000-0003-4779-3143
https://www.scopus.com/authid/detail.url?authorId=57218188960
https://www.researchgate.net/profile/Tikhon-Pshenitsyn

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


Citations (Crossref Cited-By Service + Math-Net.Ru)
1. T. Pshenitsyn, “Hypergraph Lambek Grammars”, Journal of Logical and Algebraic Methods in Programming, 129 (2022), 100798 https://www.sciencedirect.com/science/article/abs/pii/S2352220822000517  crossref 3
2. T. G. Pshenitsyn, “Closure ordinal of immediate derivability operator of infinitary action logic”, Math. Notes, 116:4 (2024), 729–744  mathnet  crossref  crossref  mathscinet  scopus
3. Da-Jung Cho, Tikhon Pshenitsyn, “A comparative analysis of deletion closure operations and their properties”, Developments in Language Theory. DLT 2025, Lecture Notes in Comput. Sci., 16036, Springer, Cham, 2026, 30–44  mathnet  crossref  isi
4. Stepan L. Kuznetsov, Tikhon Pshenitsyn, Stanislav O. Speranski, “Reasoning from hypotheses in *-continuous action lattices”, J. Symb. Log., 2025, 1–39 (Published online) , arXiv: 2408.02118  mathnet  crossref
5. Tikhon Pshenitsyn, “Hyperarithmetical complexity of infinitary action logic with multiplexing”, Log. J. IGPL, 33:2 (2025), jzae078 , 26 pp., arXiv: 2312.04091  mathnet  crossref  isi
6. Tikhon Pshenitsyn, “First-order intuitionistic linear logic and hypergraph languages”, Leibniz Internat. Proc. in Inform., 334, 2025, 170–19 , arXiv: 2502.05816  mathnet  crossref
7. Tikhon Pshenitsyn, “On decidability and expressive power of fusion grammars”, Theor. Comput. Sci., 1052 (2025), 115420 , 30 pp., arXiv: 2309.00954  mathnet  crossref
8. Tikhon Pshenitsyn, “Bonding Grammars”, Unconventional Computation and Natural Computation. UCNC 2024, Lecture Notes in Comput. Sci., 14776, Springer, Cham, 2024, 1–17  mathnet  crossref  mathscinet  isi
9. Tikhon Pshenitsyn, “Multimodality in the hypergraph Lambek calculus”, Electron. Proc. Theor. Comput. Sci., 381, 2023, 46–59 , arXiv: 2308.04520v1  mathnet  crossref  mathscinet
10. Tikhon Pshenitsyn, “Commutative Lambek grammars”, J. Logic Lang. Inf., 32 (2023), 887–936 , arXiv: 2209.08415  mathnet  crossref  mathscinet
11. T. Pshenitsyn, “Algebraic semantics for hypergraph Lambek calculus”, Semantical and Computational Aspects of Non-Classical Logics (SCAN 2023), Book of Abstracts (Moscow, June 13–17, 2023), Steklov International Mathematical Center, Steklov Mathematical Institute of Russian Academy of Sciences, Moscow, Russia, 2023, 55-58 https://scan2023.mi-ras.ru/abstracts.pdf

Presentations in Math-Net.Ru
1. 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
2. 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
3. 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   
4. 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   
5. 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   
6. 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   
7. 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   
8. 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   
9. 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   
10. 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   
11. 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   
12. 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   
13. Лекция 13. Субструктурные логики
S. L. Kuznetsov, T. G. Pshenitsyn
Course "Substructural Logics" by S.L. Kuznetsov and T.G. Pshenitsyn
May 22, 2025 16:00   
14. Лекция 12. Субструктурные логики
S. L. Kuznetsov, T. G. Pshenitsyn
Course "Substructural Logics" by S.L. Kuznetsov and T.G. Pshenitsyn
May 15, 2025 16:00   
15. Лекция 11. Субструктурные логики
S. L. Kuznetsov, T. G. Pshenitsyn
Course "Substructural Logics" by S.L. Kuznetsov and T.G. Pshenitsyn
April 24, 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. Intuitionistic First-Order Linear Logic and Hypergraph Languages
T. G. Pshenitsyn
Seminars "Proof Theory" and "Logic Online Seminar"
March 10, 2025 16:00   
23. 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   
24. 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   
25. The Lambek calculus with Krull intersection operation — 3
S. L. Kuznetsov, T. G. Pshenitsyn
Seminar "Probabilistic and Substructural Logical Systems," lead by S.L. Kuznetsov and S.O. Speranski
February 25, 2025 16:00   
26. 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   
27. The Lambek calculus with Krull intersection operation — 2
S. L. Kuznetsov, T. G. Pshenitsyn
Seminar "Probabilistic and Substructural Logical Systems," lead by S.L. Kuznetsov and S.O. Speranski
February 18, 2025 16:00   
28. 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   
29. The Lambek calculus with Krull intersection operation — 1
S. L. Kuznetsov, T. G. Pshenitsyn
Seminar "Probabilistic and Substructural Logical Systems," lead by S.L. Kuznetsov and S.O. Speranski
February 11, 2025 16:00   
30. Сложность фрагмента инфинитарной логики действий с экспоненциальной модальностью
T. G. Pshenitsyn

March 20, 2024 18:15
31. Инфинитарная логика действий с экспоненциальной модальностью: замыкающие ординалы и сложность
T. G. Pshenitsyn

March 13, 2024 18:15
32. Графовые грамматики
T. G. Pshenitsyn

June 29, 2023 17:00   
33. Algebraic semantics for hypergraph Lambek calculus
Tikhon Pshenitsyn
Workshop "Semantical and Computational Aspects of Non-Classical Logics" (SCAN 2023)
June 15, 2023 15:30   
34. 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   
35. Commutative Lambek grammars are not context-free
T. G. Pshenitsyn
Second Conference of Russian Mathematical Centers. Section «Mathematical Logic and Theoretical Computer Science»
November 9, 2022 16:30   

Organisations