

A367445


Number of discrete implications I:L_n^2> L_n defined on the finite chain L_n={0,1,...n}, which satisfy the contrapositive symmetry with respect to some discrete negation N, i.e., I(x,y) = I(N(y), N(x)), for all x,y in L_n.


0




OFFSET

1,2


COMMENTS

Number of discrete implications I:L_n^2> L_n defined on the finite chain L_n={0,1,...n} satisfying the contrapositive symmetry with respect to some discrete negation N, i.e., the number of binary functions I:L_n^2>L_n such that I is decreasing in the first argument, increasing in the second argument, I(0,0)=I(n,n)=n and I(n,0)=0 (discrete implication), and I(x,y) = I(N(y), N(x)), for all x,y in L_n (contrapositive symmetry with respect to a discrete negation N). A discrete negation N:L_n>L_n is a decreasing operator with N(0)=n and N(n)=0.


LINKS



CROSSREFS

Particular case of the enumeration of discrete implications in general, enumerated in A360612.
The enumeration of discrete negations in general is given in A001700.
When the discrete negation is N(x)=nx, for all x in L_n, the enumeration is given in A366540.


KEYWORD

nonn,hard,more


AUTHOR



STATUS

approved



