Personal information

Keywords

Lambek calculus, formal grammar, graph grammar, substructural logic

Activities

Collapse all

Employment (1)

Steklov Mathematical Institute: Moscow, RU

2023-06-01 to present | Intern Researcher (Department of Mathematical Logic)
Employment
Source: Self-asserted source
Tikhon Pshenitsyn

Education and qualifications (1)

Lomonosov Moscow State University: Moscow, Moscow, RU

2017-09-01 to 2023-08-31 | specialist (master) (Mathematical Logic and Theory of Algorithms)
Education
Source: Self-asserted source
Tikhon Pshenitsyn

Works (7)

Bonding Grammars

2024 | Book chapter
DOI: 10.1007/978-3-031-63742-1_1
Contributors: Tikhon Pshenitsyn
Source: check_circle
Crossref

Lambek Calculus with Optional Divisions

2024 | Book chapter
DOI: 10.1007/978-3-031-50628-4_12
Contributors: Tikhon Pshenitsyn
Source: check_circle
Crossref

Замыкающий ординал оператора непосредственной выводимости в инфинитарной логике действий

Математические заметки
2024 | Journal article
DOI: 10.4213/mzm14236
Contributors: Tikhon Grigor'evich Pshenitsyn
Source: check_circle
Crossref

Commutative Lambek Grammars

Journal of Logic, Language and Information
2023-12 | Journal article
DOI: 10.1007/s10849-023-09407-z
Contributors: Tikhon Pshenitsyn
Source: check_circle
Crossref

Hypergraph Lambek grammars

Journal of Logical and Algebraic Methods in Programming
2022-11 | Journal article
DOI: 10.1016/j.jlamp.2022.100798
Contributors: Tikhon Pshenitsyn
Source: check_circle
Crossref

Powerful and NP-Complete: Hypergraph Lambek Grammars

2021 | Book chapter
DOI: 10.1007/978-3-030-78946-6_6
Contributors: Tikhon Pshenitsyn
Source: check_circle
Crossref

Hypergraph Basic Categorial Grammars

2020 | Book chapter
DOI: 10.1007/978-3-030-51372-6_9
Contributors: Tikhon Pshenitsyn
Source: check_circle
Crossref
How many people are using ORCID?