A note on the substructural hierarchy
arXiv:1507.00700 · doi:10.1002/malq.201500066
Abstract
We prove that all axiomatic extensions of the full Lambek calculus with exchange can be axiomatized by formulas on the level of the substructural hierarchy.
11 pages; to appear in Mathematical Logic Quarterly