Ключевые слова: исчисление Ламбека, графовые грамматики, грамматики замещения гиперрёбер

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

формальные грамматики, субструктурные логики, алгоритмическая сложность

Основные публикации:

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)

Публикации за последние годы

Доклады и лекции в базе данных Math-Net.Ru

Персональные страницы:

• 
• 
• ИСТИНА
• 
• 
• 

Организации:

• Математический центр мирового уровня «Математический институт им. В.А. Стеклова Российской академии наук» (МЦМУ МИАН)
• Математический институт им. В.А. Стеклова Российской академии наук, г. Москва