ハイティング代数

数学におけるハイティング代数（ハイティングだいすう、）とは、アレン・ハイティングにちなんで名付けられた、ブール代数を一般化した性質を満たす半順序集合の一種である。必ずしも排中律が成り立たない直観論理のモデルとして提唱された。ハイティング代数のさらに特別な場合である完備ハイティング代数は層の理論の定式化にも用いられる。

関連項目 
直観論理
ブール代数
ブラウワー代数
束論
ストーン双対性

数理論理学
構成主義 (数学)
数学に関する記事
束論