矛盾許容論理
出典: フリー百科事典『ウィキペディア(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) を参照
矛盾許容論理と同じ種類の言葉
- 矛盾許容論理のページへのリンク