矛盾許容論理
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2023/12/16 20:56 UTC 版)
矛盾許容論理（むじゅんきょようろんり、Paraconsistent Logic）とは、矛盾を特別な方法で扱う論理体系。また、矛盾に対して耐性のある論理を研究・構築する論理学の一分野を指す。矛盾許容型論理とも。
- ^ Priest (2002), p. 288 and §3.3.
- ^ 戸次大介『数理論理学』（初版）東京大学出版会、2012年3月9日、165頁。"定義 7.51"。
- ^ Priest (2002), p. 306.
- ^ LP は一般に3値（真、偽、両方）をとる多値論理とも呼ばれる。
- ^ 例えば Priest (2002), §5 を参照
- ^ Priest (2002), p. 310 を参照
- ^ 様々な矛盾許容論理は Bremer (2005) や Priest (2002) に紹介されている。
- ^ Aoyama (2004) を参照
- ^ Bremer (2005) および Priest (2002) を参照。
- ^ Bertossi et al. (2004) に例がある。
- ^ Lewis (1982) 参照
- ^ Slater (1995), Béziau (2000) を参照
[続きの解説]
「矛盾許容論理」の続きの解説一覧
矛盾許容論理と同じ種類の言葉
- 矛盾許容論理のページへのリンク
