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