Persons: Pshenitsyn, Tikhon Grigor'evich

Persons

RUS ENG

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

Pshenitsyn, Tikhon Grigor'evich

Keywords:

Lambek calculus, graph grammar, hyperedge replacement grammar

Subject:

formal grammar, substructural logic, algorithmic complexity

Main publications:

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)

Full list of publications:

by years

		Citations (Crossref Cited-By Service + Math-Net.Ru)

1.	T. G. Pshenitsyn, “Closure ordinal of the immediate derivability operator in infinitary action logic”, Mat. Zametki (to appear)

2024
2.	Tikhon Pshenitsyn, “Hyperarithmetical complexity of infinitary action logic with multiplexing”, Log. J. IGPL, 2024, 1–26 (Published online) , arXiv: 2312.04091 ; (Published online)
3.	Tikhon Pshenitsyn, “Bonding Grammars”, Unconventional Computation and Natural Computation. UCNC 2024, Lecture Notes in Comput. Sci., 14776, Springer, Cham, 2024, 1–17 ;

2023
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 ;

2022
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	2 ^[x]

Presentations in Math-Net.Ru

1.	Сложность фрагмента инфинитарной логики действий с экспоненциальной модальностью T. G. Pshenitsyn March 20, 2024 18:15
2.	Инфинитарная логика действий с экспоненциальной модальностью: замыкающие ординалы и сложность T. G. Pshenitsyn March 13, 2024 18:15
3.	Графовые грамматики T. G. Pshenitsyn June 29, 2023 17:00
4.	Algebraic semantics for hypergraph Lambek calculus Tikhon Pshenitsyn Workshop "Semantical and Computational Aspects of Non-Classical Logics" (SCAN 2023) June 15, 2023 15:30
5.	Seminar 9. Algebraic Glimpse on Non-classical Logics T. G. Pshenitsyn Seminar by S. L. Kuznetsov and S. O. Speranski "Non-classical Logics" November 16, 2022 18:00
6.	Commutative Lambek grammars are not context-free T. G. Pshenitsyn Second Conference of Russian Mathematical Centers. Section «Mathematical Logic and Theoretical Computer Science» November 9, 2022 16:30

Organisations