202728377domain: NAppears in sequencesNumber of discrete implications I:L_n^2-> L_n defined on the finite chain L_n={0,1,...n}, which satisfy the generalized modus ponens with respect to a discrete t-norm T, i.e., T(x,I(x,y))<=y, for all x,y in L_n.at n=4A367446