Пшеницын Тихон Григорьевич

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

1. Сложность фрагмента инфинитарной логики действий с экспоненциальной модальностью
   Т. Г. Пшеницын
   Семинар С. Л. Кузнецова и С. О. Сперанского "Вероятностные и субструктурные логические системы"
   20 марта 2024 г. 18:15
2. Инфинитарная логика действий с экспоненциальной модальностью: замыкающие ординалы и сложность
   Т. Г. Пшеницын
   Семинар С. Л. Кузнецова и С. О. Сперанского "Вероятностные и субструктурные логические системы"
   13 марта 2024 г. 18:15
3. Графовые грамматики
   Т. Г. Пшеницын
   Однодневный семинар по математической логике
   29 июня 2023 г. 17:00   
4. Algebraic semantics for hypergraph Lambek calculus
   Tikhon Pshenitsyn
   Workshop "Semantical and Computational Aspects of Non-Classical Logics" (SCAN 2023)
   15 июня 2023 г. 15:30   
5. Семинар 9. Алгебраический взгляд на неклассические логики
   Т. Г. Пшеницын
   Семинар С. Л. Кузнецова и С. О. Сперанского "Неклассические логики"
   16 ноября 2022 г. 18:00   
6. Commutative Lambek grammars are not context-free
   Т. Г. Пшеницын
   Вторая конференция Математических центров России. Секция «Математическая логика и теоретическая информатика»
   9 ноября 2022 г. 16:30