@misc{indiciae3967e31ca092, title = {Semi-Substructural Logics with Additives}, author = {Niccolò Veltri and Cheng-Syuan Wan}, year = {2024}, doi = {10.4204/eptcs.402.8}, url = {https://arxiv.org/abs/2404.14922}, note = {Source identifier: 2404.14922} }