论文信息 - /spl alpha/-automated reasoning method based on regular generalized conjunctive normal form of LP(X)

/spl alpha/-automated reasoning method based on regular generalized conjunctive normal form of LP(X)

We focus on automated reasoning based on lattice-valued propositional logic LP(X). A new method of automated reasoning is given, and the soundness and completeness theorems of this method are also proved.

[1] Liu Jun,et al. ON SEMANTICS OF L-VALUED FIRST-ORDER LOGIC Lvft , 2000 .

[2] Etienne E. Kerre,et al. alpha-Resolution principle based on lattice-valued propositional logic LP(X) , 2000, Inf. Sci..

[3] Etienne E. Kerre,et al. alpha-Resolution principle based on first-order lattice-valued logic LF(X) , 2001, Inf. Sci..