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 ====
distributive lattice
==== Hyponyms ====
Boolean algebra
De Morgan algebra
Kleene algebra
Stone algebra