|
数学におけるハイティング代数（ハイティングだいすう、）とは、アレン・ハイティングにちなんで名付けられた、ブール代数を一般化した性質を満たす半順序集合の一種である。必ずしも排中律が成り立たない直観論理のモデルとして提唱された。ハイティング代数のさらに特別な場合である完備ハイティング代数は層の理論の定式化にも用いられる。 == 関連項目 == *直観論理 *ブール代数 *ブラウワー代数 *束論 *ストーン双対性 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「ハイティング代数」の詳細全文を読む スポンサード リンク
|