CSpace
Om first-order theorem proving using generalized odd-superpositions II
Wu, JZ; Liu, ZJ
1996-12-01
Source PublicationSCIENCE IN CHINA SERIES E-TECHNOLOGICAL SCIENCES
ISSN1006-9321
Volume39Issue:6Pages:608-619
AbstractIt 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.
Keywordtheorem proving first-order polynomials odd-superpositions II generalized odd-superpositions II odd-factors
Language英语
WOS Research AreaEngineering ; Materials Science
WOS SubjectEngineering, Multidisciplinary ; Materials Science, Multidisciplinary
WOS IDWOS:A1996WB01200007
PublisherSCIENCE CHINA PRESS
Citation statistics
Cited Times:1[WOS]   [WOS Record]     [Related Records in WOS]
Document Type期刊论文
Identifierhttp://ir.amss.ac.cn/handle/2S8OKBNM/28734
Collection中国科学院数学与系统科学研究院
AffiliationCHINESE ACAD SCI,INST SYST SCI,BEIJING 100080,PEOPLES R CHINA
Recommended Citation
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.
Files in This Item:
There are no files associated with this item.
Related Services
Recommend this item
Bookmark
Usage statistics
Export to Endnote
Google Scholar
Similar articles in Google Scholar
[Wu, JZ]'s Articles
[Liu, ZJ]'s Articles
Baidu academic
Similar articles in Baidu academic
[Wu, JZ]'s Articles
[Liu, ZJ]'s Articles
Bing Scholar
Similar articles in Bing Scholar
[Wu, JZ]'s Articles
[Liu, ZJ]'s Articles
Terms of Use
No data!
Social Bookmark/Share
All comments (0)
No comment.
 

Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.