@InProceedings{Navara:W04,
  IS = { zkontrolovano 13 Jan 2005 },
  UPDATE  = { 2004-11-27 },
  author =      {Navara, Mirko},
  title =       {When a residuum can be computed from a t-norm and a negation},
  year =        {2004},
  pages =       {12--14},
  booktitle =   {Proceedings of the 3rd International Workshop on Nonstandard Logics},
  e_booktitle = {Proceedings of the 3rd International Workshop on Nonstandard Logics},
  editor =      {M.~Navara},
  publisher =   {Czech Technical University},
  address =     {Prague, Czech Republic},
  isbn =        {80-01-03003-2},
  book_pages =  {34},
  month =       {May},
  day =         {28},
  venue =       {Praha, Czech Republic},
  organization ={Czech Technical University},
  annote = {In the classical logic, the implication can be expressed
    by the conjunction and the negation, because these connectives
    form a sufficient set of logical operations, i.e., they allow to
    express all logical operations. We analyze the question to which
    extent an analogy holds in fuzzy logics.},
  keywords =    {MV-algebra, fuzzy logic, {\L}ukasiewicz logic, G{\"o}del logic, fuzzy implication, residuum},
  prestige =    {local},
  importance =  {0},
  project =     {MSM 212300013},
}