Fuzzy logic and arithmetical hierarchy
From MaRDI portal
Publication:1920268
DOI10.1016/0165-0114(94)00299-MzbMath0857.03011OpenAlexW2025952124WikidataQ56083681 ScholiaQ56083681MaRDI QIDQ1920268
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
fuzzy logicaxiomatizationrational Pavelka logicfuzzy sets of premissesrational membership degreesrational truth degreesundecidability of provability
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
