OFFSET
0,5
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.
PROG
(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)
CROSSREFS
KEYWORD
nonn,hard,more
AUTHOR
Jori Mäntysalo, Mar 30 2016
STATUS
approved