paracomplete logic
矛盾許容論理
は
$ A
と
$ \neg A
がどちらも眞でありうる。
paracomplete logic
では
$ A
と
$ \neg A
がどちらも僞でありうる。
排中律
を否定する
意味論的完全性 (semantic completeness)
を弱める
$ \neg((T\cancel\vDash A)\to(T\vdash\neg A))\lor\neg((T\cancel\vDash\neg A)\to(T\vdash A))
Colin Caret "Hybridized Paracomplete and Paraconsistent Logics" 2017
Alejandro Hernández-Tello, Verónica Borja-Macı́as, Marcelo E. Coniglio "Paracomplete logics which are dual to the paraconsistent logics L3A and L3B" 2020
直觀主義論理
超評價主義 (supervaluationism)
Vagueness - Wikipedia#Supervaluationism
Supervaluationism - Wikipedia
Vagueness (Stanford Encyclopedia of Philosophy)#Supervaluationism
或る論理の全ての model で同じ眞理値が定まる場合に「超眞理値が定まる」と言ひ、超眞理値を以て其の論理の眞理値とする
過小決定 (underdetermination)。決定不全
←→
重層的決定 (OTD)