为优化基于格值逻辑的α-归结原理,将删除策略应用于α-语义归结方法,研究了基于格值逻辑的带有删除策略的α-语义归结方法.首先给出了带有删除策略的α-语义归结的完备性;接着,给出了带有删除策略的α-语义归结算法,并证明了该算法的可靠性和完备性;通过实例说明了该算法的可行性. In order to optimize the α-reduction principle based on lattice logic, the deletion strategy is applied to the α-semantic reduction method, and the lattice-valued logic-based α-semantic reduction method with deletion strategy is studied.Firstly, Finally, the α-semantics reduction algorithm with deletion strategy is given, and the reliability and completeness of the algorithm are proved. The feasibility of the algorithm is illustrated through an example.