| 理想状态下泛逻辑的形式演绎系统β |
| |
| 引用本文： | 罗敏霞,何华灿.理想状态下泛逻辑的形式演绎系统β[J].计算机科学,2004,31(3). |
| |
| 作者姓名： | 罗敏霞 何华灿 |
| |
| 作者单位： | 1. 西北工业大学计算机科学与工程系,西安,710072;运城学院数学系,运城,044000
2. 西北工业大学计算机科学与工程系,西安,710072 |
| |
| 基金项目： | 中国国家自然科学基金(60273087)，北京市自然科学基金(4032009) |
| |
| 摘 要： | 本文提出泛逻辑学在理想状态(广义相关系数h=0.5,广义自相关系数k=0.5)下的形式演绎系统。讨论了商代数F]的性质。进一步证明了形式演绎系统与文11]的基本形式演绎系统UL(h=k=0.5)是等价的。
|
| 关 键 词： | 泛逻辑 形式演绎系统 可证等价关系 |
The Formal Deductive System βof Universal Logic in the Ideal Condition |
| |
| LUO Min-Xia HE Hua-Can.The Formal Deductive System βof Universal Logic in the Ideal Condition[J].Computer Science,2004,31(3). |
| |
| Authors: | LUO Min-Xia HE Hua-Can |
| |
| Abstract: | In this taper,we introduce the formal deductive system 38 of universal logic in the ideal condition (the generalized correlative coefficeht h = 0. 5 and the generalized self-correlative coefficient k = 0. 5 ). Some characterizations of the quotient algebra F] are discussed. Moreover, we show that the formal deductive system and the basic formal deductive system UL(A=4 = 0. 5) are equivalent. |
| |
| Keywords: | Universal logic Formal deductive system Provable equivalence relation |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
