Wang, Sanmin Semilinear substructural logics with the finite embeddability property. (English) Zbl 1472.03021 Algebra Univers. 79, No. 3, Paper No. 58, 12 p. (2018). MSC: 03B47 06F99 03B50 03B52 PDFBibTeX XMLCite \textit{S. Wang}, Algebra Univers. 79, No. 3, Paper No. 58, 12 p. (2018; Zbl 1472.03021) Full Text: DOI arXiv
Wang, San-Min The finite model property for semilinear substructural logics. (English) Zbl 1303.03056 Math. Log. Q. 59, No. 4-5, 268-273 (2013). Reviewer: Siegfried J. Gottwald (Leipzig) MSC: 03B47 03B52 03C52 PDFBibTeX XMLCite \textit{S.-M. Wang}, Math. Log. Q. 59, No. 4--5, 268--273 (2013; Zbl 1303.03056) Full Text: DOI