Für den dreitwertigen Fall von Lukasiewicz [1] und für den mehrwertigen Fall von Lukasiewicz/Tarski [2] wurde die Lukasiewicz-Tarski-Implikation zur Beschreibung einer mehrwertigen Implikation benutzt. Sie ist wie folgt definiert: seq1 (x, y) =df min(1, 1 - x + y) Zu jeder T-Norm t lässt sich eine Wahrheitswertf...