ハイティング代数

提供: miniwiki
2018/4/23/ (月) 14:18時点における59.190.148.218 (トーク)による版 (2018年03月13日11時56分付け英語版にならってカテゴリーCategory:構成主義 (数学)に追加。)
(差分) ← 古い版 | 最新版 (差分) | 新しい版 → (差分)
移動先:案内検索

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

関連項目