IS = { zkontrolovano 02 Jan 2006 },
  UPDATE  = { 2005-12-14 },
  author =      {Petr Cintula and Mirko Navara},
  title =       {Theorem proving in fuzzy logics},
  year =        {2005},
  pages =       {78--80},
  booktitle =   {International Conference The Logic for Soft Computing IV \&
                 4th Workshop of the ERCIM Working Group on Soft Computing},
  editor =      {Vil{\'e}m Nov{\'a}k and Martin {\v S}t{\v e}pni{\v c}ka},
  publisher =   {University of Ostrava},
  address =     {Ostrava, Czech Republic},
  book_pages =  {95},
  month =       {October},
  day =         {5-7},
  venue =       {Ostrava, Czech Republic},
  organization ={University of Ostrava,Ostrava, Czech Republic},
  annote = {Computer algebra allows to perform many operations which
    were considered difficult, e.g., factorization, integration,
    symbolic solution of ODEs, etc. Logical operations are not always
    implemented. E.g., Maple 9 has a package logic which was missing
    in several preceding versions. Except for packages for fuzzy
    control, there seems to be no professional software for fuzzy
    logical tasks. Here we summarize current situation in computer
    algebra support of testing tautologies in fuzzy logics.},
  keywords =    {Computer algebra, fuzzy logic, testing of tautologies},
  prestige =    {international},
  importance =  {1},
  authorship =  {50-50},
  project =     {MSM6840770012},
  psurl = {[PDF] },