De Morgan algebra

名词 n.
中文释义

英文释义

名词 n.
  1. A bounded distributive lattice equipped with an involution (typically denoted ¬ or ~) which satisfies De Morgan's laws.
    — Finally it is shown that the compact elements in the congruence lattice of a De Morgan algebra form a Boolean sublattice.

词形变化

De Morgan algebras plural de Morgan algebra alternative

词源

Named after British mathematician and logician Augustus De Morgan (1806–1871). The notion was introduced by Grigore Moisil.
1 次浏览 数据来源: Wiktionary