Т. Г. Пшеницын, “Замыкающий ординал оператора непосредственной выводимости в инфинитарной логике действий”, Матем. заметки, 116:4 (2024), 559–577 (в печати)
2.
Tikhon Pshenitsyn, “Hyperarithmetical complexity of infinitary action logic with multiplexing”, Log. J. IGPL, 2024, 1–26 (Published online) , arXiv: 2312.04091; (Published online)
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
Commutative Lambek grammars are not context-free Т. Г. Пшеницын Вторая конференция Математических центров России. Секция «Математическая логика и теоретическая информатика» 9 ноября 2022 г. 16:30