Abstract
Three semilinear substructural logics , and are constructed. Then the completeness of and with respect to classes of finite UL and IUL-algebras, respe......
小提示:本篇文献需要登录阅读全文,点击跳转登录