@InProceedings{Navara:Barcelona05,
  IS = { zkontrolovano 03 Jan 2006 },
  UPDATE  = { 2005-12-14 },
  author =      {Mirko Navara},
  title =       {When a residuum can be a derived operation of fuzzy logic},
  year =        {2005},
  pages =       {59--60},
  booktitle =   {Algebraic and Topological Methods in Non-Classical Logics II},
  publisher =   {University of Barcelona},
  address =     {Barcelona, Spain},
  isbn =        {none},
  book_pages =  {94},
  month =       {June},
  day =         {15-18},
  venue =       {Barcelona, Spain},
  organization ={University of Barcelona},
  annote = {We answer the question when a residuum in a fuzzy logic
    can be derived from other connectives, mainly the conjunction and
    an involutive negation.},
  keywords =    {fuzzy logic, triangular norm, residuum, conjunction, 
                 involutive negation},
  prestige =    {international},
  importance =  {0},
  authorship =  {100},
}