摘要
本文在文献[1]的基础上,首先定义聚合公理系统COG,然后构造模型A^B,最后证明A^B是COG的布尔值模型。
This paper defines the conglomerate axiom system COG, and constructs the model ^B,and proves that ^Bis the Boolean - valued moael of COG on the basis of [1].
出处
《河南大学学报（自然科学版）》
CAS
1993年第2期39-42,共4页
Journal of Henan University:Natural Science
关键词
布尔值模型
聚合公理系统
Conglomerate, The axiom system COG,Boolean-valued.
