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.
%I A034786 #5 Jul 10 2011 18:41:18 %S A034786 1,1,1,2,3,7,12,31,59,161,329,944,2067,6148,14558,44483,116372 %N A034786 Number of linearly ordered Girard monoids of size n; number of t-norms on an n-chain inducing an involutive residual negator. %D A034786 M. Nachtegael, The Dizzy Number of Fuzzy Implication Operators on Finite Chains, in "Fuzzy Logic and Intelligent Technologies for Nuclear Science and Industry", ed. Ruan D., Abderrahim H., D'hondt P., Kerre E., 1998, pp. 29-35. %H A034786 <a href="/index/Mo#monoids">Index entries for sequences related to monoids</a> %Y A034786 Cf. A030453. %K A034786 nonn %O A034786 1,4 %A A034786 Bernard De Baets (Bernard.DeBaets(AT)rug.ac.be), Mike Nachtegael (mike.nachtegael(AT)rug.ac.be)