A271077 Number of pseudocomplemented lattices on n nodes.

1, 1, 1, 1, 2, 4, 10, 29, 99, 391, 1775, 9214

Offset: 0

Author

Jori Mäntysalo, Mar 30 2016

Keywords

• nonn
• hard
• more

Links

• R. Belohlavek, V. Vychodil, Residuated lattices of size <=12, Order 27 (2010) 147-161 doi:10.1007/s11083-010-9143-7, Table 6.
• Wikipedia, pseudocomplement.

Crossrefs

Cf. A006966.

Programs

SageMath

for i in range(0, 12):
    n = 0
    for P in Posets(i):
        if P.is_lattice():
            L = LatticePoset(P)
            if L.is_pseudocomplemented():
                n += 1
    print(n)