substructural_logic