Stone algebra
In mathematics, a Stone algebra, or Stone lattice, is a pseudo-complemented distributive lattice such that a* ∨ a** = 1. They were introduced by and named after Marshall Harvey Stone.
Boolean algebras are Stone algebras, and Stone algebras are Ockham algebras.
Examples: