an:05624909
Zbl 1182.03050
Hájek, Petr
Arithmetical complexity of fuzzy predicate logics -- a survey. II.
EN
Ann. Pure Appl. Logic 161, No. 2, 212-219 (2009).
0168-0072
2009
j
03B52 03D55
fuzzy predicate logics; arithmetical hierarchy; tautologies
Summary: Results on arithmetical complexity of important sets of formulas of several fuzzy predicate logics (tautologies, satisfiable formulas, \(\dots \)) are surveyed and some new results are proven.
For Part I see Soft Comput. 9, No.~12, 935--941 (2005; Zbl 1093.03012).
1093.03012