Doing so, one obtains the so-called substructural logics.
这么做了就得到了所谓的亚结构逻辑。