Substructural logics are non-classical systems that alter or remove structural rules of classical logic, like relevance and linear logic, impacting…