Fuzzy logic and arithmetical hierarchy. IV

MaRDI QIDQ3367322zbMATH OpenFDO

Authors Petr Hájek

Publication date 24 January 2006

zbMATH Keywords

complexitysatisfiabilityvalidityt-norm based many-valued logics

Mathematics Subject Classification ID

Many-valued logic (03B50) Fuzzy logic; logic of vagueness (03B52) Complexity of computation (including implicit computational complexity) (03D15)

Recommendations

• Fuzzy logic and arithmetical hierarchy. III
• Metamathematics of fuzzy logic
• Arithmetical complexity of fuzzy predicate logics -- a survey
• Arithmetical complexity of first-order predicate fuzzy logics over distinguished semantics
• On arithmetical complexity of fragments of prominent fuzzy predicate logics

Cited in

(8)

• Fuzzy logic and arithmetical hierarchy
• Arithmetical complexity of fuzzy predicate logics -- a survey. II.
• Triangular norm based predicate fuzzy logics
• Monadic fuzzy predicate logics
• Hierarchical structure and applications of fuzzy logical systems
• Arithmetical complexity of fuzzy predicate logics -- a survey
• On arithmetical complexity of fragments of prominent fuzzy predicate logics
• Fuzzy logic and arithmetical hierarchy. III

This page was built for publication: Fuzzy logic and arithmetical hierarchy. IV

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3367322)