Triple-I Algorithm on a Kind of Residuated Lattice

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.