検索結果

ナビゲーションに移動 検索に移動

  • レーブの定理
    [[証明可能性論理]]は、[[ゲーデルの不完全性定理]]で使用される符号化の詳細を[[様相論理]]の言語を使って抽象化するものであり、具体的には与えられた体系における<m [[Category:証明可能性論理]] …
    14キロバイト (927 語) - 2024年12月21日 (土) 07:41
  • 正規様相論理
    ! [[証明可能性論理|GL]], K4W …
    3キロバイト (169 語) - 2024年5月4日 (土) 10:41
  • 証明論
    * ゲーデルの業績の核心部分を様相言語で公理化した[[証明可能性論理]] ([[:en:provability logic|provability logic]]) …
    9キロバイト (195 語) - 2023年12月26日 (火) 15:48
「https://ja.wiki.beta.math.wmflabs.org/wiki/特別:検索」から取得