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 $\alpha$ for fixed points. Our main re…