Персоналии
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
 
Пшеницын Тихон Григорьевич
В базах данных
в MathSciNet: 4 (4)
в Web of Science: 3 (3)
в Scopus: 1 (1)
младший научный сотрудник
Ключевые слова: исчисление Ламбека, графовые грамматики, грамматики замещения гиперрёбер

Основные темы научной работы

формальные грамматики, субструктурные логики, алгоритмическая сложность
   
Основные публикации:
  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/rus/person189359
https://scholar.google.com/citations?user=i16_1KMAAAAJ&hl=ru
ИСТИНА 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

Список публикаций:
| научные публикации | по годам | по типам | по числу цит. | общий список |


Цитирования (Crossref Cited-By Service + Math-Net.Ru)

   2026
1. 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

   2025
2. 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
3. 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
4. Tikhon Pshenitsyn, “First-order intuitionistic linear logic and hypergraph languages”, Leibniz Internat. Proc. in Inform., 334, 2025, 170–19 , arXiv: 2502.05816  mathnet  crossref
5. Tikhon Pshenitsyn, “On decidability and expressive power of fusion grammars”, Theor. Comput. Sci., 1052 (2025), 115420 , 30 pp., arXiv: 2309.00954  mathnet  crossref

   2024
6. Т. Г. Пшеницын, “Замыкающий ординал оператора непосредственной выводимости в инфинитарной логике действий”, Матем. заметки, 116:4 (2024), 559–577  mathnet  crossref  mathscinet; T. G. Pshenitsyn, “Closure ordinal of immediate derivability operator of infinitary action logic”, Math. Notes, 116:4 (2024), 729–744  crossref  mathscinet  scopus 1
7. 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

   2023
8. Tikhon Pshenitsyn, “Multimodality in the hypergraph Lambek calculus”, Electron. Proc. Theor. Comput. Sci., 381, 2023, 46–59 , arXiv: 2308.04520v1  mathnet  crossref  mathscinet
9. Tikhon Pshenitsyn, “Commutative Lambek grammars”, J. Logic Lang. Inf., 32 (2023), 887–936 , arXiv: 2209.08415  mathnet  crossref  mathscinet
10. Т. 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

   2022
11. 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

Доклады и лекции в базе данных Math-Net.Ru
1. Лекция 12. Алгоритмические вопросы для формальных грамматик
С. Л. Кузнецов, Т. Г. Пшеницын
Курс С. Л. Кузнецова и Т. Г. Пшеницына "Алгоритмические вопросы для формальных грамматик"
4 декабря 2025 г. 18:00
2. Лекция 11. Алгоритмические вопросы для формальных грамматик
С. Л. Кузнецов, Т. Г. Пшеницын
Курс С. Л. Кузнецова и Т. Г. Пшеницына "Алгоритмические вопросы для формальных грамматик"
27 ноября 2025 г. 18:00
3. Лекция 10. Алгоритмические вопросы для формальных грамматик
С. Л. Кузнецов, Т. Г. Пшеницын
Курс С. Л. Кузнецова и Т. Г. Пшеницына "Алгоритмические вопросы для формальных грамматик"
20 ноября 2025 г. 18:00   
4. Лекция 9. Алгоритмические вопросы для формальных грамматик
С. Л. Кузнецов, Т. Г. Пшеницын
Курс С. Л. Кузнецова и Т. Г. Пшеницына "Алгоритмические вопросы для формальных грамматик"
13 ноября 2025 г. 18:00   
5. Лекция 8. Алгоритмические вопросы для формальных грамматик
С. Л. Кузнецов, Т. Г. Пшеницын
Курс С. Л. Кузнецова и Т. Г. Пшеницына "Алгоритмические вопросы для формальных грамматик"
6 ноября 2025 г. 18:00   
6. Лекция 7. Алгоритмические вопросы для формальных грамматик
С. Л. Кузнецов, Т. Г. Пшеницын
Курс С. Л. Кузнецова и Т. Г. Пшеницына "Алгоритмические вопросы для формальных грамматик"
30 октября 2025 г. 18:00   
7. Лекция 6. Алгоритмические вопросы для формальных грамматик
С. Л. Кузнецов, Т. Г. Пшеницын
Курс С. Л. Кузнецова и Т. Г. Пшеницына "Алгоритмические вопросы для формальных грамматик"
23 октября 2025 г. 18:00   
8. Лекция 5. Алгоритмические вопросы для формальных грамматик
С. Л. Кузнецов, Т. Г. Пшеницын
Курс С. Л. Кузнецова и Т. Г. Пшеницына "Алгоритмические вопросы для формальных грамматик"
16 октября 2025 г. 18:00   
9. Лекция 4. Алгоритмические вопросы для формальных грамматик
С. Л. Кузнецов, Т. Г. Пшеницын
Курс С. Л. Кузнецова и Т. Г. Пшеницына "Алгоритмические вопросы для формальных грамматик"
9 октября 2025 г. 18:00   
10. Лекция 3. Алгоритмические вопросы для формальных грамматик
С. Л. Кузнецов, Т. Г. Пшеницын
Курс С. Л. Кузнецова и Т. Г. Пшеницына "Алгоритмические вопросы для формальных грамматик"
2 октября 2025 г. 18:00   
11. Лекция 2. Алгоритмические вопросы для формальных грамматик
С. Л. Кузнецов, Т. Г. Пшеницын
Курс С. Л. Кузнецова и Т. Г. Пшеницына "Алгоритмические вопросы для формальных грамматик"
25 сентября 2025 г. 18:00   
12. Лекция 1. Алгоритмические вопросы для формальных грамматик
С. Л. Кузнецов, Т. Г. Пшеницын
Курс С. Л. Кузнецова и Т. Г. Пшеницына "Алгоритмические вопросы для формальных грамматик"
18 сентября 2025 г. 18:00   
13. Лекция 13. Субструктурные логики
С. Л. Кузнецов, Т. Г. Пшеницын
Курс С. Л. Кузнецова и Т. Г. Пшеницына "Субструктурные логики"
22 мая 2025 г. 16:00   
14. Лекция 12. Субструктурные логики
С. Л. Кузнецов, Т. Г. Пшеницын
Курс С. Л. Кузнецова и Т. Г. Пшеницына "Субструктурные логики"
15 мая 2025 г. 16:00   
15. Лекция 11. Субструктурные логики
С. Л. Кузнецов, Т. Г. Пшеницын
Курс С. Л. Кузнецова и Т. Г. Пшеницына "Субструктурные логики"
24 апреля 2025 г. 16:00   
16. Лекция 10. Субструктурные логики
С. Л. Кузнецов, Т. Г. Пшеницын
Курс С. Л. Кузнецова и Т. Г. Пшеницына "Субструктурные логики"
17 апреля 2025 г. 16:00   
17. Лекция 9. Неразрешимость линейной логики
С. Л. Кузнецов, Т. Г. Пшеницын
Курс С. Л. Кузнецова и Т. Г. Пшеницына "Субструктурные логики"
10 апреля 2025 г. 16:00   
18. Лекция 8. Линейная логика
С. Л. Кузнецов, Т. Г. Пшеницын
Курс С. Л. Кузнецова и Т. Г. Пшеницына "Субструктурные логики"
3 апреля 2025 г. 16:00   
19. Лекция 7. L-модели и R-модели для исчисления Ламбека
С. Л. Кузнецов, Т. Г. Пшеницын
Курс С. Л. Кузнецова и Т. Г. Пшеницына "Субструктурные логики"
27 марта 2025 г. 16:00   
20. Лекция 6. Интерполяционная лемма Роорды. Теорема Пентуса
С. Л. Кузнецов, Т. Г. Пшеницын
Курс С. Л. Кузнецова и Т. Г. Пшеницына "Субструктурные логики"
20 марта 2025 г. 16:00   
21. Лекция 5. Построение грамматики Ламбека по контекстно-свободной грамматике
С. Л. Кузнецов, Т. Г. Пшеницын
Курс С. Л. Кузнецова и Т. Г. Пшеницына "Субструктурные логики"
13 марта 2025 г. 16:00   
22. Интуиционистская линейная логика первого порядка и гиперграфовые языки
Т. Г. Пшеницын
Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
10 марта 2025 г. 16:00   
23. Лекция 4. Грамматики Ламбека и контекстно-свободные грамматики
С. Л. Кузнецов, Т. Г. Пшеницын
Курс С. Л. Кузнецова и Т. Г. Пшеницына "Субструктурные логики"
6 марта 2025 г. 16:00   
24. Лекция 3. PSPACE-трудность логик между FL и Int. Теорема об устранении сечения
С. Л. Кузнецов, Т. Г. Пшеницын
Курс С. Л. Кузнецова и Т. Г. Пшеницына "Субструктурные логики"
27 февраля 2025 г. 16:00   
25. Исчисление Ламбека с операцией круллева пересечения — 3
С. Л. Кузнецов, Т. Г. Пшеницын
Семинар С. Л. Кузнецова и С. О. Сперанского "Вероятностные и субструктурные логические системы"
25 февраля 2025 г. 16:00   
26. Лекция 2. Класс сложности PSPACE: теорема Сэвича и PSPACE-полнота задачи TQBF
С. Л. Кузнецов, Т. Г. Пшеницын
Курс С. Л. Кузнецова и Т. Г. Пшеницына "Субструктурные логики"
20 февраля 2025 г. 16:00   
27. Исчисление Ламбека с операцией круллева пересечения — 2
С. Л. Кузнецов, Т. Г. Пшеницын
Семинар С. Л. Кузнецова и С. О. Сперанского "Вероятностные и субструктурные логические системы"
18 февраля 2025 г. 16:00   
28. Лекция 1. Решётки с делениями и субструктурные исчисления
С. Л. Кузнецов, Т. Г. Пшеницын
Курс С. Л. Кузнецова и Т. Г. Пшеницына "Субструктурные логики"
13 февраля 2025 г. 16:00   
29. Исчисление Ламбека с операцией круллева пересечения — 1
С. Л. Кузнецов, Т. Г. Пшеницын
Семинар С. Л. Кузнецова и С. О. Сперанского "Вероятностные и субструктурные логические системы"
11 февраля 2025 г. 16:00   
30. Сложность фрагмента инфинитарной логики действий с экспоненциальной модальностью
Т. Г. Пшеницын
Семинар С. Л. Кузнецова и С. О. Сперанского "Вероятностные и субструктурные логические системы"
20 марта 2024 г. 18:15
31. Инфинитарная логика действий с экспоненциальной модальностью: замыкающие ординалы и сложность
Т. Г. Пшеницын
Семинар С. Л. Кузнецова и С. О. Сперанского "Вероятностные и субструктурные логические системы"
13 марта 2024 г. 18:15
32. Графовые грамматики
Т. Г. Пшеницын
Однодневный семинар по математической логике
29 июня 2023 г. 17:00   
33. Algebraic semantics for hypergraph Lambek calculus
Tikhon Pshenitsyn
Workshop "Semantical and Computational Aspects of Non-Classical Logics" (SCAN 2023)
15 июня 2023 г. 15:30   
34. Семинар 9. Алгебраический взгляд на неклассические логики
Т. Г. Пшеницын
Семинар С. Л. Кузнецова и С. О. Сперанского "Неклассические логики"
16 ноября 2022 г. 18:00   
35. Commutative Lambek grammars are not context-free
Т. Г. Пшеницын
Вторая конференция Математических центров России. Секция «Математическая логика и теоретическая информатика»
9 ноября 2022 г. 16:30   

Организации