Om first-order theorem proving using generalized odd-superpositions II
文献类型：期刊论文
| 作者 | Wu, JZ; Liu, ZJ |
| 刊名 | SCIENCE IN CHINA SERIES E-TECHNOLOGICAL SCIENCES
 |
| 出版日期 | 1996-12-01 |
| 卷号 | 39期号:6页码:608-619 |
| 关键词 | theorem proving first-order polynomials odd-superpositions II generalized odd-superpositions II odd-factors |
| ISSN号 | 1006-9321 |
| 英文摘要 | It is shown that the proof system using odd-superpositions II is not complete. The reason leading to this incompleteness is that the use of idempotency rule is neglected. By defining the superpositions of first-order polynomials and zero, the concept of odd-superpositions II is extended, and a complete proof system Lsing the extended odd-superpositions II is developed. In addition, this proof system is an improvement on remainder method; its completeness demonstrates actually that the remainder method Lasing semantic strategy is still complete. |
| WOS研究方向 | Engineering ; Materials Science |
| 语种 | 英语 |
| WOS记录号 | WOS:A1996WB01200007 |
| 出版者 | SCIENCE CHINA PRESS |
| 源URL | [http://ir.amss.ac.cn/handle/2S8OKBNM/28733]  |
| 专题 | 中国科学院数学与系统科学研究院 |
| 通讯作者 | Wu, JZ |
| 作者单位 | CHINESE ACAD SCI,INST SYST SCI,BEIJING 100080,PEOPLES R CHINA |
| 推荐引用方式 GB/T 7714 | Wu, JZ,Liu, ZJ. Om first-order theorem proving using generalized odd-superpositions II[J]. SCIENCE IN CHINA SERIES E-TECHNOLOGICAL SCIENCES,1996,39(6):608-619. |
| APA | Wu, JZ,&Liu, ZJ.(1996).Om first-order theorem proving using generalized odd-superpositions II.SCIENCE IN CHINA SERIES E-TECHNOLOGICAL SCIENCES,39(6),608-619. |
| MLA | Wu, JZ,et al."Om first-order theorem proving using generalized odd-superpositions II".SCIENCE IN CHINA SERIES E-TECHNOLOGICAL SCIENCES 39.6(1996):608-619. |
入库方式： OAI收割
来源：数学与系统科学研究院
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。