多値論理
many-valued logic
二値原理 (principle of bivalence)
四値論理 (4-valued logic)
IEEE 1364: IEEE Standard for Verilog Hardware Description Language
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: IEEE Standard Multivalue Logic System for VHDL Model Interoperability (Std_logic_1164)
VHDL (VHSIC (very high speed integrated circuits) hardware description language) の std_logic 行列意味論