cp's OEIS Frontend

A367447 Number of discrete implications I:L_n^2-> L_n defined on the finite chain L_n={0,1,...n}, which satisfy the law of importation with respect to a discrete t-norm T, i.e., I(T(x,y),z)=I(x,I(y,z)), for all x,y in L_n.