Standardbedingungen der mehrwertigen Wahrheitswertfunktionen
Der Begriff des ausgezeichneten Quasiwahrheitswertes wird benutzt, um Standardbedingungen für die Wahrheitswertfunktionen der mehrwertigen Logik zu formulieren.Man sagt, dass eine einstellige Wahrheitswertfunktion non (x) die Standardbedingung der Negation erfüllt, falls
non(x) genau dann ein (positiv) ausgezeichneter Quasiwahrheitswert ist, wenn x kein ausgezeichneter Quasiwahrheitswert ist.
Man sagt, dass eine zweistellige Wahrheitswertfunktion et (x, y) die Standardbedingung der Konjunktion erfüllt, falls
et(x, y) genau dann ein (positiv) ausgezeichneter Quasiwahrheitswert ist, wenn x und y ausgezeichnete Quasiwahrheitswerte sind.
Man sagt, dass eine zweistellige Wahrheitswertfunktion vel (x, y) die Standardbedingung der Alternative erfüllt, falls
vel(x, y) genau dann kein (positiv) ausgezeichneter Quasiwahrheitswert ist, wenn x und y keine ausgezeichneten Quasiwahrheitswerte sind.
Man sagt, dass eine zweistellige Wahrheitswertfunktion seq(x, y) die Standardbedingung der Implikation erfüllt, falls
seq(x, y) genau dann kein (positiv) ausgezeichneter Quasiwahrheitswert ist, wenn x eine ausgezeichneter Quasiwahrheitswert und ist y kein ausgezeichneter Quasiwahrheitswert ist.
Die Erfüllung der Standardbedingungen ist unabhängig von der Erfüllung der Normalbedingungen.