| 泛逻辑的基本形式系统中的广义重言式理论 |
| |
| 引用本文： | 马盈仓,何华灿.泛逻辑的基本形式系统中的广义重言式理论[J].计算机科学,2005,32(6):96-98. |
| |
| 作者姓名： | 马盈仓 何华灿 |
| |
| 作者单位： | 西北工业大学计算机学院,西安,710072;西北工业大学计算机学院,西安,710072 |
| |
| 基金项目： | 国家自然科学基金(批准号:60273087);国家863项目(2002AA412020);北京市自然科学基金项目(40320009). |
| |
| 摘 要： | 本文首次对泛逻辑的广义重言式理论进行研究。给出了泛逻辑的基本形式系统中的广义重言式的一系列性质。主要结果有:在泛逻辑的基本形式系统中,对于0,1]内的任意有理数,均有可达重言式,对于其中的无理数,均没有可达重言式;给出F(S)的一个分划;给出α]-MP(α∈I_Q)规则成立的一个充分条件。
|
| 关 键 词： | 泛逻辑学 广义重言式 升级算法 分划 广义语义MP-规则 广义语义HS-规则 |
Generalized Tautologies Theory of the Basic Formal System of Universal Logic |
| |
| MA Ying-cang,HE Hua-Can.Generalized Tautologies Theory of the Basic Formal System of Universal Logic[J].Computer Science,2005,32(6):96-98. |
| |
| Authors: | MA Ying-cang HE Hua-Can |
| |
| Affiliation: | MA Ying-Cang,HE Hua-Can College of Computer,Northwestern Polytechnic University,Xi'an 710072 |
| |
| Abstract: | |
| |
| Keywords: | Universal logic Generalized tautologies Upgrade algorithm Partition Generalized semantic MP-rule Generalized semantic HS-rule |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
点击此处可从《计算机科学》下载全文 |
