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)
- (algebra) A bounded distributive lattice with a dual endomorphism (where “dual” means that it satisfies De Morgan’s laws).
Hypernyms
Hyponyms
- Boolean algebra
- De Morgan algebra
- Kleene algebra
- Stone algebra
This article is issued from Wiktionary. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.