Ockham algebra

In mathematics, an Ockham algebra is a bounded distributive lattice with a dual endomorphism, that is, an operation satisfying

,
,
,
.

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

Examples

Examples of Ockham algebras include Boolean algebras, De [Morgan algebra]s, Kleene algebras, and Stone algebras.