Ockham algebras

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.

References

* (pd
available
from GDZ)
*
*
*

Algebraic logic
*

{{algebra-stub