@INPROCEEDINGS{BKMN_SOFA05,
  IS = { zkontrolovano 21 Jun 2006 },
  UPDATE  = { 2006-06-21 },
       AUTHOR = {Dan Butnariu and Erich Peter Klement and Radko 
                 Mesiar and Mirko Navara},
        TITLE = {Sufficient triangular norms in many-valued logics},
    BOOKTITLE = {IEEE-SOFA 2005: International Workshop on Soft 
Computing Applications},
    PUBLISHER = {IEEE},
      ADDRESS = {New York, USA},
         YEAR = {2005},
        MONTH = {August},
          DAY = {27-30},
        PAGES = {8--9},
  isbn =        {none},
  book_pages =  {185},
  venue =       {Szeged (Hungary) and Arad (Romania)},
  importance =  {0},
  authorship =  {25-25-25-25},
  keywords =    {many-valued logic, sufficient t-norm, involutive negation,
                 admissible function, t-norm-based tribe},
  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 solution to problem.},
}