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

Персоналии

RUS ENG

ЖУРНАЛЫ ПЕРСОНАЛИИ ОРГАНИЗАЦИИ КОНФЕРЕНЦИИ СЕМИНАРЫ ВИДЕОТЕКА ПАКЕТ AMSBIB

JavaScript is disabled in your browser. Please switch it on to enable full functionality of the website

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

Публикаций:	6 (6)
в MathSciNet:	2 (2)
в Web of Science:	2 (2)
Цитированных статей:	1
Цитирований:	2
Лекций и докладов:	6

Статистика просмотров:
Эта страница:	448
Страницы публикаций:	55
Полные тексты:	2
Списки литературы:	7

Ключевые слова:

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

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

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

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

Tikhon Pshenitsyn, “Commutative Lambek grammars”, Journal of Logic, Language and Information, 32 (2023), 887-936
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

Список публикаций на ZentralBlatt

ИСТИНА

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)

Статьи

1.	Т. Г. Пшеницын, “Замыкающий ординал оператора непосредственной выводимости в инфинитарной логике действий”, Матем. заметки, 116:4 (2024), 559–577 ; T. G. Pshenitsyn, “Closure ordinal of immediate derivability operator of infinitary action logic”, Math. Notes, 116:4 (2024), 729–744
2.	Tikhon Pshenitsyn, “Hyperarithmetical complexity of infinitary action logic with multiplexing”, Log. J. IGPL, 2024, 1–26 (Published online) , arXiv: 2312.04091
3.	Tikhon Pshenitsyn, “Bonding Grammars”, Unconventional Computation and Natural Computation. UCNC 2024, Lecture Notes in Comput. Sci., 14776, Springer, Cham, 2024, 1–17
4.	Tikhon Pshenitsyn, “Multimodality in the hypergraph Lambek calculus”, Electron. Proc. Theor. Comput. Sci., 381, 2023, 46–59 , arXiv: 2308.04520v1
5.	Tikhon Pshenitsyn, “Commutative Lambek grammars”, J. Logic Lang. Inf., 32 (2023), 887–936 , arXiv: 2209.08415
6.	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 ; (Published online); ; ;	2 ^[x]

Доклады и лекции в базе данных 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

Организации

Обратная связь:

Пользовательское соглашение

Регистрация посетителей портала

Логотипы

Статьи