古典論理の拡張としての非古典論理
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/04/19 14:13 UTC 版)
「非古典論理」の記事における「古典論理の拡張としての非古典論理」の解説
古典論理の拡張としての非古典論理では、基本的に、古典論理のすべての定理がその論理体系でも定理となる。 様相論理時相論理(時制論理)線形時相論理 義務論理(規範論理)
※この「古典論理の拡張としての非古典論理」の解説は、「非古典論理」の解説の一部です。
「古典論理の拡張としての非古典論理」を含む「非古典論理」の記事については、「非古典論理」の概要を参照ください。
- 古典論理の拡張としての非古典論理のページへのリンク