Ockham algebra

English

Etymology

Named after the English Franciscan friar and scholastic philosopher William of Ockham (1287–1347) by Alasdair Urquhart in 1979. The notion was introduced by Joel Berman in 1977.

Noun

Ockham algebra (plural Ockham algebras)

1. (algebra) A bounded distributive lattice with a dual endomorphism (where “dual” means that it satisfies De Morgan’s laws).

Hypernyms

• distributive lattice

Hyponyms

• Boolean algebra
• De Morgan algebra
• Kleene algebra
• Stone algebra