「シークエント計算」を解説文に含む見出し語の検索結果(11～20/141件中)
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/12/16 07:47 UTC 版)「証明論」の記事における「証明計算の種類」の解説主な証明計算は以下の3つである。 ヒルベ...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2018/12/29 05:00 UTC 版)「カット除去定理」の記事における「シークエント」の解説シークエントは複数の文からなる論理...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/03/25 04:09 UTC 版)「命題論理」の記事における「公理系3」の解説公理系2の、はじめの2つの公理を、以下の4つ...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/04/19 14:13 UTC 版)「非古典論理」の記事における「古典論理の代替としての非古典論理」の解説古典論理の代替とし...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/08/01 09:48 UTC 版)「一階述語論理」の記事における「形式的証明」の解説命題論理においては、論理公理 (log...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/12/16 07:47 UTC 版)「証明論」の記事における「構造証明論」の解説構造証明論は証明論の一分野であり、解析的証明...
カット除去定理（カットじょきょていり、英: Cut-elimination theorem）は、シークエント計算の手法の重要性を示す、数理論理学の主要な結果のひとつである。（数理論理学の）基本...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/04/24 15:46 UTC 版)「論理学の歴史」の記事における「メタ数学の時代」の解説ゲーデルとタルスキの名前が1930...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2019/11/21 02:32 UTC 版)「シークエント計算」の記事における「LK の推論規則」の解説ここでは、以下のような記法を...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/08/01 09:51 UTC 版)「自然演繹」の記事における「一貫性、完全性、正規形」の解説数学的理論は、（仮定なしで）偽...