De Morgan algebra
名词 n.
英文释义
名词 n.
-
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.
词源
Named after British mathematician and logician Augustus De Morgan (1806–1871). The notion was introduced by Grigore Moisil.
2 次浏览
数据来源: Wiktionary