Showing math.LOShow all
3 papers · 1 filter
math.LO2026
Wider systems for linear logic with fixed points: proof theory and complexity
Anupam Das, Tikhon Pshenitsyn
We investigate infinitary wellfounded systems for linear logic with fixed points, with transfinite branching rules indexed by some closure ordinal for fixed points. Our main r…
math.LO2025
First-Order Intuitionistic Linear Logic and Hypergraph Languages
Tikhon Pshenitsyn
The Lambek calculus is a substructural logic known to be closely related to the formal language theory: on the one hand, it is used for generating formal languages by means of cate…
math.LO2025
Reasoning from hypotheses in *-continuous action lattices
Stepan L. Kuznetsov, Tikhon Pshenitsyn, Stanislav O. Speranski
The class of all -continuous Kleene algebras, whose description includes an infinitary condition on the iteration operator, plays an important role in computer science. The c…