@Inproceedings{EPTCS402.8, author = {Veltri, Niccolò and Wan, Cheng-Syuan}, year = {2024}, title = {Semi-Substructural Logics with Additives}, editor = {Kutsia, Temur and Ventura, Daniel and Monniaux, David and Morales, Jos\'e F.}, booktitle = {{\rm Proceedings 18th International Workshop on} Logical and Semantic Frameworks, with Applications{\rm and 10th Workshop on}Horn Clauses for Verification and Synthesis, {\rm Rome, Italy \& Paris, France, 1-2 July, 2023 & 23rd April 2023 }}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {402}, publisher = {Open Publishing Association}, pages = {63-80}, doi = {10.4204/EPTCS.402.8}, }