Am häufigsten wird in der mehrwertigen Logik die Wahrheitswertfunktion vel1 verwendet, die bereits bei Lukasiewicz [1] und allgemeiner bei Post [2] und Lukasiewicz/Tarski [3] vorkommt. Diese Lukasiewicz-Tarksi-Alternative ist definiert: vel1(x, y) =df max(x, y). Sie erfüllt die Normalbedingung der Alternative. Je...