AdvancingAdvancingSemi-Substructural Logicsreasoning efficiency.New techniques enhance logicalLogic in Computer ScienceInnovating Logic with Additives and StructuresThis paper examines the role of additives in semi-substructural logics.2025-08-17T00:42:48+00:00 ― 8 min read