On the comparison between fuzzy set axiomatizations (Q1187453): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(4 intermediate revisions by 3 users not shown) | |||
Property / reviewed by | |||
Property / reviewed by: Q277555 / rank | |||
Property / reviewed by | |||
Property / reviewed by: Siegfried Johannes Gottwald / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A note on fuzzy sets / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Set-valued set theory. I / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Set-valued set theory. II / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Foundations of fuzzy sets: A nonstandard approach / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3310613 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Introduction to axiomatic set theory / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: An attempt at Gödel-Bernays-like axiomatization of fuzzy sets / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: About the axiomatizations of fuzzy set theory / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: An Uncountable Set of Incomparable Degrees / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Fuzzy sets and Boolean-valued universes / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Fuzzy sets / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 17:34, 15 May 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On the comparison between fuzzy set axiomatizations |
scientific article |
Statements
On the comparison between fuzzy set axiomatizations (English)
0 references
13 August 1992
0 references
Axiomatizations of Zadeh's theory of fuzzy sets as elementary theories of fuzzy sets (without urelements) have, e.g., been proposed by \textit{E. W. Chapin} [Notre Dame J. Formal Logic 4, 619-634 (1974; Zbl 0236.02049); ibid. 5, 255-267 (1975; Zbl 0236.02050)] and \textit{A. J. Weidner} [Fuzzy Sets Syst. 6, 61-72 (1981; Zbl 0469.03037)]. For Weidner's axiomatization ZB, it is known that it can be interpreted in ZF; the author proves that also ZF is interpretable in ZB. For Chapin's axiomatization ZA, the author first proves that it (plus some strong forms of its axioms) is interpretable in ZF, and then also that ZF can be interpreted in ZA with strong forms of the axiom of infinity and the power set axiom.
0 references
equiconsistency
0 references
ZF set theory
0 references
axiomatizations of fuzzy set theory
0 references