海廷代數維基百科,自由的 encyclopedia 在數學裏,海廷代數(Heyting algebra)是一特殊的偏序集,經由廣義化布爾代數而成,得名於阿蘭德·海廷。海廷代數是作為直覺主義邏輯的模型而產生的,是一種排中律不總是成立的邏輯。完全海廷代數是無點拓撲學的核心。
在數學裏,海廷代數(Heyting algebra)是一特殊的偏序集,經由廣義化布爾代數而成,得名於阿蘭德·海廷。海廷代數是作為直覺主義邏輯的模型而產生的,是一種排中律不總是成立的邏輯。完全海廷代數是無點拓撲學的核心。