Fuzzy logic and arithmetical hierarchy. IV

zbMATH Open1084.03020MaRDI QIDQ3367322FDOQ3367322

Authors: Petr Hájek 

Publication date: 24 January 2006

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

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)

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
• Fuzzy logic and arithmetical hierarchy. III
• Arithmetical complexity of fuzzy predicate logics -- a survey
• On arithmetical complexity of fragments of prominent fuzzy predicate logics

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)