海廷代数維基百科,自由的 encyclopedia 在数学裡,海廷代数(Heyting algebra)是一特殊的偏序集,經由廣義化布爾代數而成,得名於阿蘭德·海廷。海廷代数是作为直觉主义逻辑的模型而產生的,是一種排中律不總是成立的逻辑。完全海廷代数是无点拓扑学的核心。
在数学裡,海廷代数(Heyting algebra)是一特殊的偏序集,經由廣義化布爾代數而成,得名於阿蘭德·海廷。海廷代数是作为直觉主义逻辑的模型而產生的,是一種排中律不總是成立的逻辑。完全海廷代数是无点拓扑学的核心。