And UB algebras for universal logic in ideal condition are introduced and some properties of them are discussed by him.

• 并且提出了理想状态下的泛逻辑学对应的代数系统-UB代数，并讨论了它们的性质。