arXiv++ Combinatorics

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.