Theorem Proving in Fuzzy Logics

0405572 - UIVT-O 330952 CZ eng A - Abstract
Cintula, Petr - Navara, M.
Theorem Proving in Fuzzy Logics.
[Automatické dokazování ve fuzzy logikách.]
Proceedings. Ostrava: University of Ostrava, 2005 - (Novák, V.; Štěpnička, M.). s. 78-80
[The Logic of Soft Computing /4./, Workshop of the ERCIM Working Group on Soft Computing. 05.10.2005-07.10.2005, Ostrava]
R&D Projects: GA MŠMT 1M0545
Institutional research plan: CEZ:MSM6840770012
Keywords : fuzzy logic * Lukasiewicz logic * theorem proving
Subject RIV: BA - General Mathematics

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.

Počítačová algebra dovoluje provádět řadu operací, které jsou považovány za složité: faktorizaci, integraci, symbolické řešení ODR, atd. Logické operace nejsou většinou implementovány, např. až verze 9 programu MAPLE obsahuje toolbox LOGIC. Mimo toolboxu pro fuzzy řízení, neexistuje žádné profesionální software na řešení problému fuzzy logiky. Zde sumarizujeme současnou situaci v počítačové podpoře pro řešení problému tautologičnosti ve fuzzy logikách.
Permanent Link: http://hdl.handle.net/11104/0125726