【摘要】 首先讨论格值命题逻辑系统LP(X)中子句的规则型范式以及极简规则型子句集的形式,然后定义MP归结式以及(A,α)-归结演绎、α-逻辑推理以及α-不可满足,讨论了它们的一系列逻辑性质,最后证明了MP归结推理的可靠性以及弱完备性。更多还原

【Abstract】 This paper first discuss the forms of the ruled normal form and the extra simple ruled clause set for formula of lattice-valued propositional logic system LP(X),then define the deceptions of MP resolvent,(A,α)-resolution inference,α-logical inference and α-unsatisfiability,especially a series of logical properties are discussed.The soundness theorem and weak completeness theorem of MP resolution are proved in the end.更多还原