摘要： UB代数是理想状态(广义相关系数h=0．5，广义自相关系数k=0．5)下泛逻辑的代数系统。本文引入UB代数滤子的概念，讨论了UB代数的一系列性质。证明了理想状态下泛逻辑形式演绎系统B的完备性与强完备性。

关键词: 形式演绎系统 理想状态 完备性 泛逻辑 广义相关系数 自相关系数 代数系统 滤子