This paper is focused on automated reasoning based on classical propositional logic and lattice valued propositional logic LP(X) . A new method of automated reasoning is given, and the soundness and completeness...This paper is focused on automated reasoning based on classical propositional logic and lattice valued propositional logic LP(X) . A new method of automated reasoning is given, and the soundness and completeness theorems of this method are proved.展开更多
基金theNationalNaturalScienceFoundationofChina (No .60 0 740 1 4)
文摘This paper is focused on automated reasoning based on classical propositional logic and lattice valued propositional logic LP(X) . A new method of automated reasoning is given, and the soundness and completeness theorems of this method are proved.
