ハイティング代数
（ハイティンク代数から転送）
 | この記事は英語版の対応するページを翻訳することにより充実させることができます。（2024年5月） 翻訳前に重要な指示を読むには右にある[表示]をクリックしてください。
|
数学におけるハイティング代数（ハイティングだいすう、英: Heyting algebra）とは、アレン・ハイティングにちなんで名付けられた、ブール代数を一般化した性質を満たす半順序集合の一種である。必ずしも排中律が成り立たない直観論理のモデルとして提唱された。ハイティング代数のさらに特別な場合である完備ハイティング代数は層の理論の定式化にも用いられる。
関連項目
[編集] | この項目は、数理論理学に関連した書きかけの項目です。この項目を加筆・訂正などしてくださる協力者を求めています。 |