Loading AI tools
数学におけるハイティング代数（ハイティングだいすう、英: Heyting algebra）とは、アレン・ハイティングにちなんで名付けられた、ブール代数を一般化した性質を満たす半順序集合の一種である。必ずしも排中律が成り立たない直観論理のモデルとして提唱された。ハイティング代数のさらに特別な場合である完備ハイティング代数は層の理論の定式化にも用いられる。
 | この記事は英語版の対応するページを翻訳することにより充実させることができます。（2024年5月） 翻訳前に重要な指示を読むには右にある[表示]をクリックしてください。
|
 | この項目は、数理論理学に関連した書きかけの項目です。この項目を加筆・訂正などしてくださる協力者を求めています。 |
Wikiwand in your browser!
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.
