摘要
UB代数是理想状态(广义相关系数h=0.5,广义自相关系数k=0.5)下泛逻辑的代数系统。本文引入UB代数滤子的概念,讨论了UB代数的一系列性质。证明了理想状态下泛逻辑形式演绎系统B的完备性与强完备性。
UB algebra is universal logic algebra system in the ideal condition(the generalized correlative coefficient h = 0. 5 and the generalized self-correlative coefficient k = 0. 5). In this taper, we introduce the concept of filter in UB al- gebra. Some properties of UB algebra are discussed. Moreover, we prove the completeness and strong completeness of the formal deductive system B of universal logic in the ideal condition.
出处
《计算机科学》
CSCD
北大核心
2005年第6期93-95,共3页
Computer Science
基金
中国国家自然科学基金(60273087)
北京市自然科学基金(4032009)
