提出了格蕴涵同态像的概念，证明了格蕴涵同态像是格蕴涵代数；
The concept of lattice implication homomorphism image, which is proved to be a lattice implication algebra, is introduced.
引进了自然序半格、偏序半群的自然序半格同态象和二次主根基等概念。
Concepts of natural ordering semilattices, natural ordering semilattice homomorphic images and principal square radicals on ordered semigroups are introduced.
本文给出半格局部化中一个张量积表示公式，并给出张量积与同态半格的关系。
This paper offers a formula for localization of semilattices by using the tensor product and a relation between the tensor product and homomorphic semilattice.
应用推荐