Monadic fuzzy predicate logics

DOI10.1023/A:1016544704961zbMath1006.03023OpenAlexW1522382480MaRDI QIDQ1612688

Petr Hájek

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

zbMATH Keywords

fuzzy logicarithmetical hierarchyŁukasiewicz logicproduct logicGödel logictautologiesmonadic logicsatisfiable formulas

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Many-valued logic (03B50)

Related Items

On fuzzy modal logics \(S5(\mathcal C)\) ⋮ On the predicate logics of continuous t-norm BL-algebras ⋮ SAT in Monadic Gödel Logics: A Borderline between Decidability and Undecidability ⋮ Arithmetical complexity of fuzzy predicate logics -- a survey. II. ⋮ Fuzzy Horn logic. I. Proof theory.