We discuss t-norm and implications on I() based on left-continuous t-norm and right-continuous implications on . It follows from our discussion that (I()
T
θ-T) forms a residuated lattice. We present the congruence relation and quotient algebra on I(R) and prove that there is a homomorphism between (I(R)