smilattice 相关硕士博士期刊学术论文

一个半格可以定义为一个泛代数，也可以定义为一个偏序集．本文中，我们证明了作为泛代数的半格的定义与作为偏序集的半格的定义是等价的......