Wider systems for linear logic with fixed points: proof theory and complexity

arXiv:2602.10280v2 Announce Type: replace-cross Abstract: 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 result is that provability in the sy...

🔗 Read more: https://arxiv.org/abs/2602.10280

#News #Policy #Space #Academic