IS = { zkontrolovano 02 Jan 2006 },
  UPDATE  = { 2005-12-14 },
  author =     {Dan Butnariu and Erich Peter Klement and Radko Mesiar and Mirko Navara},
  title =      {Sufficient triangular norms in many-valued logics with standard negation},
  year =       {2005},
  month =      {October},
  pages =      {829--849},
  journal =    {Archive for Mathematical Logic},
  publisher =  {Springer},
  address =    {Heidelberg, Germany},
  issn =       {0933-5846},
  volume =     {44},
  number =     {7},
  importance = {1},
  authorship = {25-25-25-25},
  annote = {In many-valued logics with the unit interval as the set of
    truth values, from the standard negation and the product (or, more
    generally, from any strict Frank t-norm) all measurable logical
    functions can be derived, provided that also operations with
    countable arity are allowed. The question remained open whether
    there are other t-norms with this property or whether all strict
    t-norms possess this property. We give a full solution to this
    problem (in the case of strict t-norms), together with convenient
    sufficient conditions. We list several families of strict t-norms
    having this property and provide also counterexamples (the
    Hamacher product is one of them). Finally, we discuss the
    consequences of these results for the characterization of tribes
    based on strict t-norms.},
  keywords =   {many-valued logic, sufficient t-norm, involutive negation,
                admissible function, t-norm-based tribe},
  project =    {GACR 201/02/1540, MIRACLE ICA1-CT-2000-70002, CEEPUS SK-042},
psurl = {[PDF] },