Arithmetical Complexity of Fuzzy Predicate Logics - A Survey II

0322753 - ÚI 2010 RIV NL eng J - Journal Article
Hájek, Petr
Arithmetical Complexity of Fuzzy Predicate Logics - A Survey II.
[Aritmetická složitost fuzzy predikátových logik - přehled II.]
Annals of Pure and Applied Logic. Roč. 161, č. 2 (2009), s. 212-219. ISSN 0168-0072. E-ISSN 1873-2461
R&D Projects: GA AV ČR IAA100300503
Institutional research plan: CEZ:AV0Z10300504
Keywords : fuzzy predicate logics * arithmetical hierarchy * tautologies
Subject RIV: BA - General Mathematics
Impact factor: 0.667, year: 2009

Results on arithmetical complexity of important sets of formulas of several fuzzy predicate logics (tautologies, satisfable formulas, ...) are surveyed and some new results are proven.

Je podán přehled aritmetické složitosti důležitých množin formulí různých fuzzy predikátových logik (tautologie, splnitelné formule, ...) a jsou dokázány některé nové výsledky.
Permanent Link: http://hdl.handle.net/11104/0170919