 The set of all formula_102tautologies is called the "logic" of the t-norm formula_101 since these formulae represent the laws of fuzzy logic (determined by the t-norm) which hold (to degree 1) regardless of the truth degrees of atomic formulae.Some formulae are tautologies with respect to "all" left-continuous t-norms