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

本文提出泛逻辑学在理想状态(广义相关系数h=0．5．广义自相关系数k=0．5)下的形式演绎系统b。讨论了商代数[f]的性质。进一步证明了形式演绎系统b与文[11]的基本形式演绎系统ul(h=k=0.5)是等价的。