「部分構造論理」を解説文に含む見出し語の検索結果(1～10/230件中)
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/12/16 07:47 UTC 版)「証明論」の記事における「証明計算の種類」の解説主な証明計算は以下の3つである。 ヒルベ...
部分構造論理（ぶぶんこうぞうろんり、英: Substructural logic）は、通常の命題論理を弱くした論理体系群を指し、数理論理学の中でも証明理論と密接に関連する。部分構造論理は使用可...
部分構造論理（ぶぶんこうぞうろんり、英: Substructural logic）は、通常の命題論理を弱くした論理体系群を指し、数理論理学の中でも証明理論と密接に関連する。部分構造論理は使用可...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/04/19 14:13 UTC 版)「非古典論理」の記事における「古典論理の代替としての非古典論理」の解説古典論理の代替とし...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2019/11/21 02:32 UTC 版)「シークエント計算」の記事における「構造規則」の解説構造規則にはもう少し説明が必要である...
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。出典検索?: "吸収法則" – ニュース ...
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。出典検索?: "吸収法則" – ニュース ...
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。出典検索?: "吸収法則" – ニュース ...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/01/06 04:20 UTC 版)「関数型プログラミング」の記事における「純粋関数」の解説参照透過性を順守した関数は、純粋...
非古典論理（ひこてんろんり、non-classical logic(s)）は、古典論理におけるいくつかの仮定を否定、もしくは置き換えることによって構築された論理、あるいは、古典論理における仮定をすべて...
< 前の結果 | 次の結果 >