Ockham Algebra

An Ockham algebra is a bounded distributive lattice equipped with a dual endomorphism . Thus

f(0)=1, f(1)=0, f(x v y)=f(x) ^ f(y), f(x ^ y)=f(x) v f(y).

No involution condition is imposed on . Requiring to be the identity gives the more specialized class of De Morgan algebras.

See also

Bounded Lattice, Distributive Lattice

Explore with Wolfram|Alpha

More things to try:

References

Blyth, T. S. and Varlet, C. Ockham Algebras. Oxford, England: Oxford University Press, 1994. https://doi.org/10.1093/oso/9780198599388.001.0001.

Cite this as:

Weisstein, Eric W. "Ockham Algebra." From MathWorld--A Wolfram Resource. https://mathworld.wolfram.com/OckhamAlgebra.html

Subject classifications