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 $\hat{I}\pm$ for fixed points. Our main r…