Fuzzy logic and arithmetical hierarchy

DOI10.1016/0165-0114(94)00299-MzbMath0857.03011OpenAlexW2025952124WikidataQ56083681 ScholiaQ56083681MaRDI QIDQ1920268

Petr Hájek

Publication date: 11 March 1997

Published in: Fuzzy Sets and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0165-0114(94)00299-m

zbMATH Keywords

fuzzy logicaxiomatizationrational Pavelka logicfuzzy sets of premissesrational membership degreesrational truth degreesundecidability of provability

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Decidability of theories and sets of sentences (03B25) Many-valued logic (03B50) Complexity of proofs (03F20)

Related Items

On the computing power of fuzzy Turing machines ⋮ A new interpretation of complex membership grade ⋮ Vagueness and Formal Fuzzy Logic: Some Criticisms ⋮ A complete many-valued logic with product-conjunction ⋮ Consequence and Degrees of Truth in Many-Valued Logic ⋮ Fuzzy inequational logic ⋮ Rational Pavelka logic: the best among three worlds? ⋮ Complex Fuzzy Sets and Complex Fuzzy Logic an Overview of Theory and Applications ⋮ PARADIGM, FORMAL PROPERTIES AND LIMITS OF FUZZY LOGIC ⋮ An algebraic approach to linguistic hedges in Zadeh's fuzzy logic ⋮ Notes on Strong Completeness in Łukasiewicz, Product and BL Logics and in Their First-Order Extensions ⋮ Pavelka-style fuzzy logic in retrospect and prospect ⋮ Fuzzy Inference as Deduction ⋮ Arithmetical complexity of fuzzy predicate logics -- a survey. II. ⋮ Structural completeness in many-valued logics with rational constants ⋮ Unnamed Item

Cites Work

• Fragments of Many-Valued Statement Calculi
• On Fuzzy Logic III. Semantical completeness of some many‐valued propositional calculi
• Unnamed Item
• Unnamed Item
• Unnamed Item