パラコンシステント論理
#Fleeting_Notes
パラコンシステント論理(paraconsistent logic)
矛盾を許容する論理、
矛盾許容論理
ダコスタ(da Costa)などによって1970年代以降に提案された
爆発律
$ A \land \lnot A \vdash B
を認めない
確認用
Q. パラコンシステント論理
参考
『形式手法教科書』
矛盾許容論理 - Wikipedia
Principle of explosion - Wikipedia
メモ
矛盾許容論理 Priest, Tanaka, and Weber (2018) "Paraconsistent Logic" - Quae legeris memento
調査用
Google.icon
パラコンシステント論理(日)
Google.icon
paraconsistent logic(英)
Wikipedia.icon
パラコンシステント論理 - Wikipedia(日)
パラコンシステント論理(検索) - Wikipedia(日)
Wikipedia.icon
Paraconsistent logic - Wikipedia(英)
Paraconsistent logic(検索) - Wikipedia(英)