多値論理
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