"Standard" are called those MTL-algebras whose lattice reduct is the real unit interval They are uniquely determined by the real-valued function that interprets strong conjunction, which can be any left-continuous t-norm formula_128. The standard MTL-algebra determined by a left-continuous t-norm formula_128 is usually denoted by formula_152 In formula_153 implication is represented by the residuum of formula_154 weak conjunction and disjunction respectively by the minimum and maximum, and the truth constants zero and one respectively by the real numbers 0 and 1.