Ockham algebra

Template:Format footnotes In mathematics, an Ockham algebra is a bounded distributive lattice $L$ with a dual endomorphism, that is, an operation $\sim :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 Template:Harvtxt, and were named after William of Ockham by Template:Harvtxt. Ockham algebras form a variety.

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

References

• Template:Citation (pdf available from GDZ)
• Template:Eom
• Template:Cite book
• Template:Citation

Template:Algebra-stub