Ockham algebra


In mathematics, an Ockham algebra is a bounded distributive lattice with a dual endomorphism. 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.