English Dictionary

De Morgan algebra

名詞

(algebra, order theory) A bounded distributive lattice equipped with an involution (typically denoted ¬ or ~) which satisfies De Morgan's laws.

日本語の意味

De Morgan代数は、有界分配格と呼ばれる順序体の一種で、通常は ¬ または ~ で表される反転作用（否定）が付加され、De Morganの法則を満たす代数的構造である。

The seminar will examine how a De Morgan algebra models negation in certain non-classical logics.

そのセミナーでは、ド・モルガンの法則を満たす反転写像（通常は ¬ または ～ と表され）を備えた有界分配格子が、特定の非古典論理における否定をどのようにモデル化するかを検討する。

意味（1）

(algebra, order theory) 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 ）