海廷代数

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