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

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

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

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

1. Tikhon Pshenitsyn, “Commutative Lambek grammars”, Journal of Logic, Language and Information, 32 (2023), 887-936
2. Tikhon Pshenitsyn, “Hypergraph Lambek grammars”, Journal of Logical and Algebraic Methods in Programming, 129 (2022)

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

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

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

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

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

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