On first-order theorem proving using generalized odd-superpositions

It is shown that the proof system using odd-superpositions Ⅱ 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 Ⅱ is extended,and a complete pr...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	中国科学：技术科学英文版 1996 (6), p.608-619
1. Verfasser:	吴尽昭 刘卓军
Format:	Artikel
Sprache:	eng
Schlagworte:	first-order generalized odd-factors odd-superpositions polynomials proving theorem
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!