Ockham algebra explained

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

• (pdf available from GDZ)
  • Book: Blyth, Thomas Scott. J. C. . Varlet. Ockham algebras. 1994. Oxford University Press. 978-0-19-859938-8.