【摘要】 论文对泛逻辑的广义重言式理论进行研究,给出了泛逻辑的中极形式系统中的广义重言式的一系列性质。主要结果有:在泛逻辑的中极形式系统中,对于犤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).更多还原