1·In this paper, a proof of the theorem on "Any two denumerable Boolean algebras with atoms of the same finite number are isomorphic" is given.
在这篇论文中，定理“任意两个具有相同有限个原子的可数无穷布尔代数是同构的”的一个证明被给出。
2·Those results describe the characterizations of interior structures of those algebras, and also offer a new way for further researching lattice-valued logic systems from the semantics.
其结果描述了这些代数内部结构的特征，同时也为从语义的角度进一步研究格值逻辑系统提供了一个新的途径。
3·As consequences it is given some of structure theorems of lattice implication algebras.
作为推论，给出了格蕴涵代数的某些结构性定理。
4·We systematically sum up characteristics of advanced algebras in thought methods from the Angle of theory of knowledge.
从认识论的角度，系统地总结了高等代数在思想方法上的特点。
5·Operator theory, operator algebras, and applications.
算子理论，算子代数及其应用。