(alpha, beta)-Ordered Linear Resolution of Intuitionistic Fuzzy Propositional Logic

To improve the (α, β)-resolution efficiency of intuitionistic fuzzy propositional logic, we apply linear resolution and ordered resolution to (α, β)-resolution. Provide the concepts of (α, β)-linear resolution, (α, β)-ordered resolution and reducible ordered clause. Propose the (α, β)-ordered linear resolution method based on intuitionistic fuzzy propositional logic. The similar literals and merger rule of (α, β)-ordered linear resolution are discussed. Finally, the (α, β)-ordered linear resolution algorithm is presented and an example is given to illustrate the effectiveness of the proposed method.