The paramodulation in Boolean operator fuzzy logic

Boolean operator fuzzy logic is a uniform logic framework, which describes and deals with the reasoning about uncertain, inconsistent and insufficient knowledge. In order to deal with the clause set with equality and realize the equality substitution in the fuzzy reasoning, this paper introduces paramodulation method to Boolean operator fuzzy logic. Furthermore we prove its correctness and completeness. The completeness means the paramodulation is a generalized complete for lambdaE-inconsistent clause set when it is used together with resolution method.