Abstract
Representable implication algebras are known to be axiomatised by a finite number of equations (making the representation and finite representation pr......
小提示：本篇文献需要登录阅读全文，点击跳转登录
Full Text Link
