节点文献
泛逻辑的中极形式系统中的广义重言式理论
Generalized Tautologies Theory of the Central Limit Formal System of Universal Logic
【摘要】 论文对泛逻辑的广义重言式理论进行研究,给出了泛逻辑的中极形式系统中的广义重言式的一系列性质。主要结果有:在泛逻辑的中极形式系统中,对于犤0,1犦内的任意有理数,均有可达重言式,且是类类互异的;给出有理点的一个升级算法;当α∈Q∩(0,1)时,犤α犦-MP规则与犤α犦-HS规则不成立。
【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).
【关键词】 泛逻辑学；
广义重言式；
升级算法；
广义语义MP规则；
广义语义HS规则；
【Key words】 universal logic； generalized tautologies； upgrade algorithm； generalized semantic MP rule； generalized semantic HS rule；
【Key words】 universal logic； generalized tautologies； upgrade algorithm； generalized semantic MP rule； generalized semantic HS rule；
【基金】 国家自然科学基金(编号:60273087);国家863高技术研究发展计划项目(编号:2002AA412020);北京市自然科学基金项目(编号:4032009)
- 【文献出处】 计算机工程与应用 ,Computer Engineering and Applications , 编辑部邮箱 ,2004年35期
- 【分类号】O141
- 【被引频次】1
- 【下载频次】50