A note on the substructural hierarchy

0456876 - MÚ 2017 RIV DE eng J - Článek v odborném periodiku
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
GRANT EU: European Commission(XE) 339691 - FEALORA
Institucionální podpora: RVO:67985840
Klíčová slova: substructural hierarchy * full Lambek calculus * extension variables
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.250, rok: 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.
Trvalý link: http://hdl.handle.net/11104/0257350