Fuzzy logic and arithmetical hierarchy (Q1920268): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Set profile property. |
||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Revision as of 06:14, 5 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Fuzzy logic and arithmetical hierarchy |
scientific article |
Statements
Fuzzy logic and arithmetical hierarchy (English)
0 references
11 March 1997
0 references
For fuzzy logic in the sense of \textit{J. Pavelka} [Z. Math. Logik Grundlagen Math. 25, 45-52, 119-134, 447-464 (1979; Zbl 0435.03020, Zbl 0446.03015, and Zbl 0446.03016)], i.e. for an extension of Łukasiewicz's \([0,1]\)-valued propositional logic with graded notions of proof and of entailment and with truth degree constants for all truth degrees, the author gives a considerably simplified axiomatization. He also proves completeness for the restricted case that only truth degree constants for the rational truth degrees are accepted and that the fuzzy sets of premisses have only rational membership degrees. Finally he proves \(\Pi_2\)-completeness for the notion of provability for this logic.
0 references
rational Pavelka logic
0 references
undecidability of provability
0 references
fuzzy logic
0 references
axiomatization
0 references
rational truth degrees
0 references
fuzzy sets of premisses
0 references
rational membership degrees
0 references