多値論理
many-valued logic
二値原理 (principle of bivalence)
四値論理 (4-valued logic)
Nuel Belnap の A4
T、F、B (both)、N (none)
IEEE 1364
Verilog
0、1、Z (high impedance)、X (unknown)
五値論理
五値論理の否定
>私は、Evam pi me no あなたが言ふ通りにあると思ってゐないし、Tanthā ti pi me no 違ふ方法であるとも思ってゐないし、Aññathā yi pi me no まったく別なものだとも思ってゐないし、No ti pi me no ないとも思ってゐないし、No no ti pi mr no どっちでもないとも思ってゐないのだ。
\neg P(s)\land\neg P'(s)\land\neg Q(s)\land\neg\overline{P(s)}\land\neg\overline{P(s)\lor\overline{P(s)}}?
\neg\exist sP(s)\land\neg\exist s\neg P(s)\land\neg\exist Q\exist sQ(s)\land\neg\neg\exist Q\exist sQ(s)\land\neg(\neg\exist Q\exist sQ(s)\land\neg\neg\exist Q\exist sQ(s))?
七値論理
九値論理
IEEE 1164
VHDL (VHSIC (very high speed integrated circuits) hardware description language) の std_logic
量子論理 (quantum logic)