Ockham algebra

noun

Ockham algebra

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.

1

Algebra, Mathematics, Sciences 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

Entry derived from the Wiktionary, under licence CC BY-SA 4.0 — list of authors.