「ハイティング代数」の版間の差分
提供: miniwiki
(2018年03月13日11時56分付け英語版にならってカテゴリーCategory:構成主義 (数学)に追加。) |
細 (1版 をインポートしました) |
(相違点なし)
|
2018/8/19/ (日) 17:24時点における最新版
数学におけるハイティング代数(ハイティングだいすう、英: Heyting algebra)とは、アレン・ハイティングにちなんで名付けられた、ブール代数を一般化した性質を満たす半順序集合の一種である。必ずしも排中律が成り立たない直観論理のモデルとして提唱された。ハイティング代数のさらに特別な場合である完備ハイティング代数は層の理論の定式化にも用いられる。