Hatena Blog Tags

ハイティング代数

(サイエンス)
はいてぃんぐだいすう

Heyting algebra
有界束であり、尚且つ任意の二元に相対擬補元とよばれる元が定義された代数的構造。排中律a\vee\neg aが成立しない直観論理のモデルであり、一般化されたブール代数である(つまりブール代数はハイティング代数である)。直観論理を研究した論理学者アレン=ハイティングにちなんで名付けられた。

このタグの解説についてこの解説文は、すでに終了したサービス「はてなキーワード」内で有志のユーザーが作成・編集した内容に基づいています。その正確性や網羅性をはてなが保証するものではありません。問題のある記述を発見した場合には、お問い合わせフォームよりご連絡ください。

ネットで話題

もっと見る

関連ブログ