×

zbMATH — the first resource for mathematics

Three complexity problems in quantified fuzzy logic. (English) Zbl 0985.03014
It is proved that the set of standard tautologies of predicate Product Logic and of predicate Basic Logic, as well as the set of standard-satisfiable formulas of predicate Basic Logic are not arithmetical. Also, solutions of some problems proposed by P. Hájek [“Fuzzy logic and arithmetical hierarchy. III”, Stud. Log. 68, 129-142 (2001; Zbl 0988.03042] are given.

MSC:
03B52 Fuzzy logic; logic of vagueness
PDF BibTeX XML Cite
Full Text: DOI