泛逻辑的中极形式系统中的广义重言式理论

• 作者: 何华灿 薛占熬 马盈仓
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 泛逻辑学 广义重言式 升级算法 广义语义MP规则 广义语义HS规则
• 年，卷（期）: 2004,（35）
• 所属期刊栏目: 博士论坛
• 页码范围: 15-16,32
• 页数: 3页
• 分类号: TP181|O141.1
• 字数: 5220字
• 语种: 中文
• DOI: 10.3321/j.issn:1002-8331.2004.35.006

摘要

论文对泛逻辑的广义重言式理论进行研究,给出了泛逻辑的中极形式系统中的广义重言式的一系列性质.主要结果有:在泛逻辑的中极形式系统中,对于[0,1]内的任意有理数,均有可达重言式,且是类类互异的;给出有理点的一个升级算法;当α∈Q∩(0,1)时,[α]-MP规则与[α]-HS规则不成立.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	何华灿	西北工业大学计算机学院	181	1581	19.0	32.0
2	马盈仓	西北工业大学计算机学院	13	131	3.0	11.0
3	薛占熬	西北工业大学计算机学院	9	82	4.0	9.0