On arithmetical complexity of fragments of prominent fuzzy predicate logics

• Authors:

• Petr Hájek

• Affiliations:

• Academy of Sciences of the Czech Republic, Institute of Computer Science, 182 07, Prague, Czech Republic

• Venue:
• Soft Computing - A Fusion of Foundations, Methodologies and Applications - Special issue (pp 315-357) "Ordered structures in many-valued logic"
• Year:
• 2007