Arithmetical complexity of first-order predicate fuzzy logics over distinguished semantics

DOI10.1093/LOGCOM/EXP052MaRDI QIDQ3553915zbMATH OpenOpenAlexFDO

Authors Franco Montagna, Carles Noguera

Publication date 21 April 2010

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://semanticscholar.org/paper/9bccf23df2cefd3206681f20bd780a488657b1af

zbMATH Keywords

arithmetical complexitycore fuzzy logicfinite-chain semanticsfirst-order fuzzy logicmathematical fuzzy logicrational semanticsstandard semantics

Mathematics Subject Classification ID

Many-valued logic (03B50) Fuzzy logic; logic of vagueness (03B52) Undecidability and degrees of sets of sentences (03D35)

Recommendations

• Arithmetical complexity of fuzzy predicate logics -- a survey
• On arithmetical complexity of fragments of prominent fuzzy predicate logics
• Fuzzy logic and arithmetical hierarchy. III
• Monadic fuzzy predicate logics
• Arithmetical complexity of fuzzy predicate logics -- a survey. II.

Cited in

(12)

• Arithmetical complexity of fuzzy predicate logics -- a survey. II.
• Obituary: Franco Montagna (1948--2015)
• Generalized continuous and left-continuous t-norms arising from algebraic semantics for fuzzy logics
• Triangular norm based predicate fuzzy logics
• On arithmetical complexity of fragments of prominent fuzzy predicate logics
• Franco Montagna's work on provability logic and many-valued logic
• Fuzzy logic and arithmetical hierarchy. IV
• scientific article; zbMATH DE number 1383827 (Why is no real title available?)
• n-contractive BL-logics
• Fuzzy logic and arithmetical hierarchy. III
• Fuzzy Positive Primitive Formulas
• Arithmetical complexity of fuzzy predicate logics -- a survey

This page was built for publication: Arithmetical complexity of first-order predicate fuzzy logics over distinguished semantics

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