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)


2024
1.	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 ; (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