直観主義論理(読み)ちょっかんしゅぎろんり

世界大百科事典(旧版)内の直観主義論理の言及

【機械推論】より

… さらに変数や関数を含んだ関係を表すことのできる一階述語論理や,可能性を表現することのできる様相論理と呼ばれる論理もある。また,論理と情報科学との関係も深く,論理回路検証支援を行う時制論理や,プログラム合成に用いられる直観主義論理,プログラム検証に用いられる動的論理がある。また,融合法と呼ばれる演繹推論の推論規則を計算の基礎としたPrologというプログラミング言語も開発されている。…

※「直観主義論理」について言及している用語解説の一部を掲載しています。

出典|株式会社平凡社「世界大百科事典(旧版)」

ユーラシア大陸、北アメリカ大陸北部に広く分布し、日本では北海道にエゾヒグマが生息する。成獣は体長2メートル以上、体重300キロにもなり、日本最大の陸生動物として知られる。雑食性で草や木の実、サケ、シ...

ヒグマの用語解説を読む