Nonassociative Substructural Logics and their semilinear Extensions: Axiomatization and Completeness Properties

Petr Cintula, Rostislav Horcík, Carles Noguera. Nonassociative Substructural Logics and their semilinear Extensions: Axiomatization and Completeness Properties. Rew. Symb. Logic, 6(3):394-423, 2013. [doi]

@article{CintulaHN13,
  title = {Nonassociative Substructural Logics and their semilinear Extensions: Axiomatization and Completeness Properties},
  author = {Petr Cintula and Rostislav Horcík and Carles Noguera},
  year = {2013},
  doi = {10.1017/S1755020313000099},
  url = {http://dx.doi.org/10.1017/S1755020313000099},
  researchr = {https://researchr.org/publication/CintulaHN13},
  cites = {0},
  citedby = {0},
  journal = {Rew. Symb. Logic},
  volume = {6},
  number = {3},
  pages = {394-423},
}