Ockham algebra en · NOUN
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.
Meanings
- A bounded distributive lattice with a dual endomorphism (where “dual” means that it satisfies De Morgan’s laws).
Forms
| Spelling | Features | Labels | Source |
|---|---|---|---|
| Ockham algebras | Number=Plur | lexicographic |
Hypernyms
Hyponyms
Boolean algebra · De Morgan algebra · Kleene algebra · Stone algebra