@misc{indiciaed0be4335e4e1, title = {Proof Complexity of Linear Logics}, author = {Amirhossein Akbar Tabatabai and Raheleh Jalali}, year = {2026}, url = {https://arxiv.org/abs/2601.22393}, note = {Source identifier: 2601.22393} }