理想状态下泛逻辑的形式演绎系统b的完备性

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