| 理想状态下泛逻辑的形式演绎系统B的完备性 |
| |
| 引用本文： | 罗敏霞,何华灿.理想状态下泛逻辑的形式演绎系统B的完备性[J].计算机科学,2005,32(6):93-95. |
| |
| 作者姓名： | 罗敏霞 何华灿 |
| |
| 作者单位： | 西北工业大学计算机学院,西安,710072 |
| |
| 基金项目： | 本文得到中国国家自然科学基金(60273087)和北京市自然科学基金(4032009)资助. |
| |
| 摘 要： | UB代数是理想状态(广义相关系数h=0.5,广义自相关系数k=0.5)下泛逻辑的代数系统。本文引入UB代数滤子的概念,讨论了UB代数的一系列性质。证明了理想状态下泛逻辑形式演绎系统B的完备性与强完备性。
|
| 关 键 词： | 泛逻辑 形式演绎系统B UB代数 完备性 |
The Completeness of the Formal Deductive System B of Universal Logic in the Ideal Condition |
| |
| LUO Min-Xia,HE Hua-Can.The Completeness of the Formal Deductive System B of Universal Logic in the Ideal Condition[J].Computer Science,2005,32(6):93-95. |
| |
| Authors: | LUO Min-Xia HE Hua-Can |
| |
| Affiliation: | LUO Min-Xia,HE Hua-Can School of Computer Science,Northwestern Polytechnical University,Xi'an 710072 |
| |
| Abstract: | 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. |
| |
| Keywords: | Universal logic Formal deductive system B UB algebra Completeness |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
点击此处可从《计算机科学》下载全文 |
