摘要
在聚合公理系统ＣＯＧ的布尔值模型ΛＢ中，证明了二型序数和二型基数的一些性质．
In this paper, bilattice semi-group, S-lattice semi group and T-lattice semi-group by lattice implication algebra were given. By using these concepts, some properties of lattice implication algebra have been obtained.
出处
《河南大学学报（自然科学版）》
CAS
1997年第2期12-14,共3页
Journal of Henan University:Natural Science
关键词
二型序数
二型基数
布尔值模型
COG
Lattice implication algrba, bilattice semi-group, S-lattice semi-group, T-lattice semi-group.
