Stone algebra

In mathematics, a Stone algebra, or Stone lattice, is a pseudo-complemented distributive lattices such that a* ∨a** = 1. They were introduced by Grätzer & Schmidt (1957) and named after Marshall Harvey Stone.

Boolean algebras are Stone algebras, and Stone algebras are Ockham algebras.