Number of discrete implications I : L_n^2 -> L_n defined on the finite chain L_n = {0,1,...n} which satisfy the consequent boundary, i.e., I(x,y) >= y for all x,y in L_n.
A367540
Number of discrete implications I : L_n^2 -> L_n defined on the finite chain L_n = {0,1,...n} which satisfy the consequent boundary, i.e., I(x,y) >= y for all x,y in L_n.
Terms
- a(0) =1a(1) =8a(2) =205a(3) =17108a(4) =4693632a(5) =4253751084
External references
- oeis: A367540