在数学里，海廷代数（Heyting algebra）是一特殊的偏序集，经由广义化布尔代数而成，得名于阿兰德·海廷。海廷代数是作为直觉主义逻辑的模型而产生的，是一种排中律不总是成立的逻辑。完全海廷代数是无点拓扑学的核心。
形式定义.海廷代数"H"为一有界格，满足如下条件：对于在"H"中的所有"a"和"b"，存在一属于"H"的最大元素"x"，使得元素"x"被称为"a"对应于"b"的相对伪补元(relative pseudo-complement)，并标记为formula_2。"H"