Triple-I Algorithm on a Kind of Residuated Lattice
一类剩余格上的三I算法

Expand the using scope of triple-I algorithm,triple-I algorithm on a kind of residuated lattice is given. The sufficient conditions for the triple-I algorithm P-reductor are given. And the triple-I algorithm based on universal implication is given under k = 0. 5 and same h.