矛盾許容論理は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))

超評價主義 (supervaluationism)

或る論理の全ての model で同じ眞理値が定まる場合に「超眞理値が定まる」と言ひ、超眞理値を以て其の論理の眞理値とする

過小決定 (underdetermination)。決定不全

←→重層的決定 (OTD)