2009/02/03 by Bailey, Colin, Oliveira, Joseph
#06A07 (primary) #06E99 (secondary) #Combinatorics (math.CO) #FOS: Mathematics #Rings and Algebras (math.RA)
paper · doi:10.48550/arxiv.0902.0623
Let B be a finite Boolean algebra. Let \mathcal A be the partial order of all implication sublattices of B. We will compute the Möbius function on \mathcal A in two different ways.