Ockham algebra

In mathematics, an Ockham algebra is a bounded distributive lattice $$L$$ with a dual endomorphism, that is, an operation $$\sim\colon L \to L$$ satisfying


 * $$\sim (x \wedge y) ={} \sim x \vee {} \sim y $$,
 * $$\sim(x \vee y) = {} \sim x \wedge {}\sim y $$,
 * $$ \sim 0 = 1$$,
 * $$ \sim 1 = 0$$.

They were introduced by, and were named after William of Ockham by. Ockham algebras form a variety.

Examples of Ockham algebras include Boolean algebras, De Morgan algebras, Kleene algebras, and Stone algebras.