Fuzzy logic and arithmetical hierarchy. II
From MaRDI portal
Publication:677082
DOI10.1023/A:1004948116720zbMath0869.03015OpenAlexW1504992749MaRDI QIDQ677082
Publication date: 2 September 1997
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1023/a:1004948116720
undecidabilityprovabilityaxiomatizationtruth degreeconsequenceextension of Łukasiewicz's infinite-valued first-order logicfuzzy logic RQLfuzzy theoriesstrong completeness theorem
Fuzzy logic; logic of vagueness (03B52) Decidability of theories and sets of sentences (03B25) Many-valued logic (03B50)
Related Items (6)
Omitting uncountable types and the strength of \([0,1\)-valued logics] ⋮ Notes on Strong Completeness in Łukasiewicz, Product and BL Logics and in Their First-Order Extensions ⋮ The liar paradox and fuzzy logic ⋮ Arithmetical complexity of fuzzy predicate logics -- a survey. II. ⋮ Rational Pavelka predicate logic is a conservative extension of Łukasiewicz predicate logic ⋮ AN APPROACH TOWARD CONSISTENCY DEGREES OF FUZZY THEORIES
This page was built for publication: Fuzzy logic and arithmetical hierarchy. II
