A note on the substructural hierarchy

0456876 - MÚ 2017 RIV DE eng J - Journal Article
Jeřábek, Emil
A note on the substructural hierarchy.
Mathematical Logic Quarterly. Roč. 62, 1-2 (2016), s. 102-110. ISSN 0942-5616. E-ISSN 1521-3870
EU Projects: European Commission(XE) 339691 - FEALORA
Institutional support: RVO:67985840
Keywords : substructural hierarchy * full Lambek calculus * extension variables
Subject RIV: BA - General Mathematics
Impact factor: 0.250, year: 2016
http://dx.doi.org/10.1002/malq.201500066

We prove that all axiomatic extensions of the full Lambek calculus with exchange can be axiomatized by formulas on the N3 level of the substructural hierarchy.
Permanent Link: http://hdl.handle.net/11104/0257350