Application of Wu's Method in Propositional Calculus
Zongyuan Yang · Huadong Shifan Daxue xuebao. Ziran kexue ban · 2006
A formal definition of proposition formulae was provided by context-free grammar,and the conversion from proposition formulae to polynomials was solved automatically. Using Wu's Method, the paper presented another solution to the problem of theorem reasoning. In addition, a method for producing logical deduction was introduced.