海廷代数

【词语拼音】hǎi tíng dài shù

【词语繁体】海廷代數

【词语结构】ABCD式词语

【词语字数】四字词语

【网络解释】
在数学里，海廷代数是一特殊的偏序集，经由广义化布尔代数而成，得名于阿兰德·海廷。海廷代数是作为直觉主义逻辑的模型而产生的，是一种排中律不总是成立的逻辑。完全海廷代数是无点拓扑学的核心。