cp's OEIS Frontend

This is a front-end for the Online Encyclopedia of Integer Sequences, made by Christian Perfect. The idea is to provide OEIS entries in non-ancient HTML, and then to think about how they're presented visually. The source code is on GitHub.

A367446 Number 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.

Table of values

n a(n)
1 1
2 9
3 519
4 150120
5 202728377

List of values

[1, 9, 519, 150120, 202728377]

Started in 1964 by Neil J. A. Sloane | Maintained by The OEIS Foundation Inc.

Content is available under The OEIS End-User License Agreement.