基于一类蕴涵算子的三I算法的统一形式

United forms of triple I method based on a sort of implication operators

首先提出了伪伴随对的概念,基于此给出了基于一类蕴涵算子或带参数的蕴涵算子的FMP三I算法的统一形式;然后给出了基于两族蕴涵算子的三I算法的具体表达式;最后进一步给出了基于一类蕴涵算子或带参数的蕴涵算子α-FMP三I算法的统一形式.

First, the notion of fake residue pair is introduced and the united forms of FMP Triple I method based a sort of implication operator or implication operators with parameter is given. And then the united forms of Triple I method based on two families implication operator are obtained respectively. At last the uniform form of α-FMPTriple I method based on a sort of implication operator orwith parameter with are discussed.