The generalized paramodulation in Boolean operator fuzzy logic

Boolean operator fuzzy logic is a unified logic frame that describes and deals with the uncertain, inconsistent and insufficient knowledge. It is a new and more generalized logic system. The generalized clause set is a formula set having the format of non-clause. To deal with the generalized clause set with equality, the generalized paramodulation method in Boolean operator fuzzy logic is presented in this paper. Furthermore, its correctness and completeness are proved. The completeness means the paramodulation is generalized completely for λE-inconsistent set S when used together with resolution method.