古典論理の代替としての非古典論理
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/04/19 14:13 UTC 版)
「非古典論理」の記事における「古典論理の代替としての非古典論理」の解説
古典論理の代替としての非古典論理は、基本的に、古典論理の定理のいくつかがその論理体系では定理でない。 直観論理:排中律を認めない。 多値論理:「真」、「偽」以外にも様々な真理値を取る論理。 適切さの論理(相関論理、関連性の論理、関連性論理):「1+1=3なら宇宙人がいる」のような命題を真とは考えない論理。 線形論理 矛盾許容論理:Aと¬Aから⊥を導けない。 なお、古典論理や直観主義論理のシークエント計算による定式化において、構造規則を制限することによって得られる論理を部分構造論理とよび、線形論理、適切さの論理や、ウカシェヴィチの多値論理が含まれる。
※この「古典論理の代替としての非古典論理」の解説は、「非古典論理」の解説の一部です。
「古典論理の代替としての非古典論理」を含む「非古典論理」の記事については、「非古典論理」の概要を参照ください。
- 古典論理の代替としての非古典論理のページへのリンク