@article {4622, title = {Non-associative substructural logics and their semilinear extensions: axiomatization and completeness properties}, journal = {Review of Symbolic Logic}, volume = {6}, year = {2013}, pages = {394 - 423}, author = {Petr Cintula and Rostislav Horc{\'\i}k and Carles Noguera} }