Keywords: Lambek calculus, graph grammar, hyperedge replacement grammar

Subject:

formal grammar, substructural logic, algorithmic complexity

Main publications:

1. Tikhon Pshenitsyn, “On decidability and expressive power of fusion grammars”, Theoretical Computer Science, 1052 (2025), 115420
2. Stepan L. Kuznetsov, Tikhon Pshenitsyn, Stanislav O. Speranski, “Reasoning from hypotheses in ∗‑continuous action lattices”, Journal of Symbolic Logic, 2025, 1–39
3. Tikhon Pshenitsyn, “Commutative Lambek grammars”, Journal of Logic, Language and Information, 32 (2023), 887–936
4. Tikhon Pshenitsyn, “Hypergraph Lambek grammars”, Journal of Logical and Algebraic Methods in Programming, 129 (2022)

Recent publications

Presentations in Math-Net.Ru

Personal pages:

• 
• 
• ISTINA
• 
• 
• 

Organisations:

• Steklov International Mathematical Center
• Steklov Mathematical Institute of Russian Academy of Sciences, Moscow