Monadic fuzzy predicate logics
From MaRDI portal
Publication:1612688
DOI10.1023/A:1016544704961zbMath1006.03023MaRDI QIDQ1612688
Publication date: 26 August 2002
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1023/a:1016544704961
fuzzy logic; arithmetical hierarchy; Łukasiewicz logic; product logic; Gödel logic; tautologies; monadic logic; satisfiable formulas
Related Items
On fuzzy modal logics \(S5(\mathcal C)\), Arithmetical complexity of fuzzy predicate logics -- a survey. II., On the predicate logics of continuous t-norm BL-algebras, Fuzzy Horn logic. I. Proof theory., SAT in Monadic Gödel Logics: A Borderline between Decidability and Undecidability