Post algebra

Summary

Post algebras are the algebras of Post's $n$-valued logic, in the same way as Boolean algebras are the algebras of classical two-valued logic. For each $n \ge 2$, the Post algebras of order $n$ form the variety generated by an $n$-element chain with a cyclic negation. This generating algebra is primal, so Post algebras have a Boolean-like structure theory. For $n = 2$ they are exactly the Boolean algebras.