証明計算の種類

ウィキペディア小見出し辞書

証明計算の種類

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/12/16 07:47 UTC 版)

「証明論」の記事における「証明計算の種類」の解説

主な証明計算は以下の3つである。 ヒルベルト計算 自然演繹計算 シークエント計算 これらはいずれも、命題論理や述語論理（古典論理または直観論理）、任意の様相論理、多くの部分構造論理（適切さの論理や線型論理）の完全かつ公理的な定式化を可能とする。実際、これらで表せない論理体系は稀である。