Ockham algebra
English edit
Etymology edit
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 edit
Ockham algebra (plural Ockham algebras)
- (algebra) A bounded distributive lattice with a dual endomorphism (where “dual” means that it satisfies De Morgan’s laws).