Arithmetical Complexity of First-order Predicate Fuzzy Logics Over Distinguished Semantics

DOI10.1093/logcom/exp052zbMath1198.03032OpenAlexW2026379568MaRDI QIDQ3553915

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 complexitymathematical fuzzy logicstandard semanticsfirst-order fuzzy logiccore fuzzy logicfinite-chain semanticsrational semantics

Mathematics Subject Classification ID

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

Related Items

Franco Montagna's work on provability logic and many-valued logic ⋮ Obituary: Franco Montagna (1948--2015) ⋮ \(n\)-contractive BL-logics ⋮ Generalized continuous and left-continuous t-norms arising from algebraic semantics for fuzzy logics ⋮ Triangular norm based predicate fuzzy logics