摘要
讨论了完备弱可补格按关于谓词演算的同模分类问题,给出了原子的完备弱可补格与二元布尔代数同模的充要条件以及一类分组格与特殊的分组格C_k同模的充要条件.
The classification of complete weak complemented lattices according to their moduli in predicate calculus is considerd. The necessary and sufficient conditions for atomic complete weakly complemented lattices to be of the same modulus with the two-element Boolean algebra, and for a kind of partitioned weakly complemented lattices, to be of the same modulus with a certain special partitioned complemented lattice C^k are given.
出处
《北京师范大学学报(自然科学版)》
CAS
CSCD
1992年第4期426-430,共5页
Journal of Beijing Normal University(Natural Science)
基金
国家教委博士点基金
关键词
完备弱可补格
同模分类
谓词演算
complete weakly complemented lateice
ultrafileer
partitioned lattice