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