(1) Institute of Computer Science, Academy of Sciences of the Czech Republic, Pod vodárenskou ví, 2 182 07 Prague, Czech Republic
Abstract:
Fuzzy logic is understood as a logic with a comparative and truth-functional notion of truth. Arithmetical complexity of sets of tautologies (identically true sentences) and satisfiable sentences (sentences true in at least one interpretation) as well of sets of provable formulas of the most important systems of fuzzy predicate logic is determined or at least estimated.