海廷代數

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