We give a definition and some primary properties of group-valued measure with a second countable complete Boolean algebra domain, and with a subset of a first countable complete Abelian po-group codomain. 文中给出了定义在第二可数完备布尔代数上,取值于半序交换群内的群元值测度的一个定义和一些性质。
The third, I demonstrated that the Boolean_valued model V B ( where B is a complete Boolean algebra ) of ZFC axiom system in set theory is, too, a Boolean valued model of the deontic logical systems D 1? D 2 and D 3. 最后证明集合论的ZFC公理系统的布尔值模型VB(B是一个完全的布尔代数)也是道义模态逻辑系统D1、D2和D3的布尔值模型。