A note on the substructural hierarchy
Logic in Computer Science
2016-02-22 v3 Logic
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.
Cite
@article{arxiv.1507.00700,
title = {A note on the substructural hierarchy},
author = {Emil Jeřábek},
journal= {arXiv preprint arXiv:1507.00700},
year = {2016}
}
Comments
11 pages; to appear in Mathematical Logic Quarterly