Ockham algebra

In mathematics, an Ockham algebra is a bounded distributive lattice with a dual endomorphism. They were introduced by Berman (1977), and were named after William of Ockham by Urquhart (1979). Ockham algebras form a variety.

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

References

This article is issued from Wikipedia - version of the Sunday, September 14, 2014. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.