[logic-ml] substructural logics