「シークエント」を解説文に含む見出し語の検索結果(41～50/189件中)
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/05/02 10:19 UTC 版)「IBM」の記事における「主な企業買収」の解説詳細は「IBMによる合併買収一覧」を参照 ...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/08/08 05:41 UTC 版)「数理論理学」の記事における「証明論と構成的数学」の解説詳細は「証明論」を参照 証明論は...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/08/01 10:10 UTC 版)「決定可能性」の記事における「論理体系の決定可能性」の解説論理体系には、（主に論理式の観...
論理和の消去(ろんりわのしょうきょ、英: Disjunction elimination)(論理積の除去、選言削除則、 ∨ {\displaystyle \lor } -除去則&...
論理和の消去(ろんりわのしょうきょ、英: Disjunction elimination)(論理積の除去、選言削除則、 ∨ {\displaystyle \lor } -除去則&...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/12/29 06:30 UTC 版)「3値論理」の記事における「クリーネの3値論理」の解説クリーネの3値論理は 1952年ス...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/11/16 14:33 UTC 版)「線形論理」の記事における「線形論理の変種」の解説線形論理には、様々な限定バージョンや変...
矛盾許容論理（むじゅんきょようろんり、Paraconsistent Logic）とは、矛盾を特別な方法で扱う論理体系。また、矛盾に対して耐性のある論理を研究・構築する論理学の一分野を指す。矛盾許容型論...
矛盾許容論理（むじゅんきょようろんり、Paraconsistent Logic）とは、矛盾を特別な方法で扱う論理体系。また、矛盾に対して耐性のある論理を研究・構築する論理学の一分野を指す。矛盾許容型論...
矛盾許容論理（むじゅんきょようろんり、Paraconsistent Logic）とは、矛盾を特別な方法で扱う論理体系。また、矛盾に対して耐性のある論理を研究・構築する論理学の一分野を指す。矛盾許容型論...