%0 Journal Article
%T 理想状态下泛逻辑的形式演绎系统b的完备性
%A 罗敏霞 何华灿？
%J 计算机科学
%D 2005
%X ub代数是理想状态(广义相关系数h=0．5，广义自相关系数k=0．5)下泛逻辑的代数系统。本文引入ub代数滤子的概念，讨论了ub代数的一系列性质。证明了理想状态下泛逻辑形式演绎系统b的完备性与强完备性。
%K 形式演绎系统理想状态完备性泛逻辑广义相关系数自相关系数代数系统滤子
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=16191183&flag=1