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.
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.
Terms
- a(0) =1a(1) =9a(2) =102a(3) =1529a(4) =28702
External references
- oeis: A367447