| 泛逻辑的中极形式系统中的广义重言式理论 |
| |
| 引用本文： | 马盈仓,何华灿,薛占熬.泛逻辑的中极形式系统中的广义重言式理论[J].计算机工程与应用,2004,40(35):15-16,32. |
| |
| 作者姓名： | 马盈仓 何华灿 薛占熬 |
| |
| 作者单位： | 西北工业大学计算机学院,西安,710072;西北工业大学计算机学院,西安,710072;西北工业大学计算机学院,西安,710072 |
| |
| 基金项目： | 国家自然科学基金(编号:60273087)，国家863高技术研究发展计划项目(编号:2002AA412020)，北京市自然科学基金项目(编号:4032009) |
| |
| 摘 要： | 论文对泛逻辑的广义重言式理论进行研究,给出了泛逻辑的中极形式系统中的广义重言式的一系列性质。主要结果有:在泛逻辑的中极形式系统中,对于犤0,1犦内的任意有理数,均有可达重言式,且是类类互异的;给出有理点的一个升级算法;当α∈Q∩(0,1)时,犤α犦-MP规则与犤α犦-HS规则不成立。
|
| 关 键 词： | 泛逻辑学 广义重言式 升级算法 广义语义MP规则 广义语义HS规则 |
| 文章编号： | 1002-8331-(2004)35-0015-02 |
Generalized Tautologies Theory of the Central Limit Formal System of Universal Logic |
| |
| Ma,Yingcang He,Huacan Xue Zhan''''ao.Generalized Tautologies Theory of the Central Limit Formal System of Universal Logic[J].Computer Engineering and Applications,2004,40(35):15-16,32. |
| |
| Authors: | Ma Yingcang He Huacan Xue Zhan'ao |
| |
| Abstract: | Generalized tautologies theories of universal logic are studied in this paper.A series of properties of generalized tautologies of the central limit formal system of universal logic are discussed.The main results are:In the central limit formal system of universal logic,for each rational number in,it has arrivable tautology,and the class of generalized tautology is different each other;A upgrade algorithm about rational number is obtained;The-MP rule and the-HS rule do not hold forα∈Q∩(0,1). |
| |
| Keywords: | universal logic generalized tautologies upgrade algorithm generalized semantic MP rule generalized semantic HS rule |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
