@InProceedings{CintulaNavara:LSC05, 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] }, }