Universes of Fuzzy Sets and Axiomatizations of Fuzzy Set Theory. Part I: Model-Based and Axiomatic Approaches

@article{Gottwald2006UniversesOF,
  title={Universes of Fuzzy Sets and Axiomatizations of Fuzzy Set Theory. Part I: Model-Based and Axiomatic Approaches},
  author={Siegfried Gottwald},
  journal={Studia Logica},
  year={2006},
  volume={82},
  pages={211-244}
}
  • S. Gottwald
  • Published 1 March 2006
  • Computer Science
  • Studia Logica
For classical sets one has with the cumulative hierarchy of sets, with axiomatizations like the system ZF, and with the category SET of all sets and mappings standard approaches toward global universes of all sets.We discuss here the corresponding situation for fuzzy set theory.Our emphasis will be on various approaches toward (more or less naively formed)universes of fuzzy sets as well as on axiomatizations, and on categories of fuzzy sets.What we give is a (critical)survey of quite a lot of… 
Universes of Fuzzy Sets and Axiomatizations of Fuzzy Set Theory. Part II: Category Theoretic Approaches
TLDR
A (critical) survey of quite a lot of such approaches which have been offered in the last approximately 35 years to category theoretic approaches is given.
Fuzzy Set Theory – 40 Years of Foundational Discussions
TLDR
The corresponding situation for fuzzy set theory, and the suitable formal logics for it, is discussed, and a (concise) survey of important such approaches which have been offered since Zadeh published his seminal paper is given.
The Logic of Fuzzy Set Theory: A Historical Approach
TLDR
The chapter discusses aspects of the historical development of the relationship of fuzzy sets with formal logics suitable for a natural presentation of fuzzy set theory.
Relational compositions in Fuzzy Class Theory
L-Fuzzy Sets and Isomorphic Lattices: Are All the “New” Results Really New? †
TLDR
It turns out that, in the two-dimensional case, several of the lattices of truth values considered here are pairwise isomorphic, and so are the corresponding families of fuzzy sets.
An early approach toward graded identity and graded membership in set theory
Constructive Sets with Non-binary Inclusion
TLDR
This thesis asks fundamental questions regarding how to represent and understand non-binary inclusion within the constructive framework outlined by Martin-Lof and illustrates the implied limitations and problems associated with the required high level of explicity.
Neutrality and Many-Valued Logics
TLDR
This book presents a general way that allows to construct systematically analytic calculi for a large family of non-Archimedean many-valued logics: hyperrational-valued, hyperreal- valued, and p-adic valued logics characterized by a special format of semantics with an appropriate rejection of Archimedes' axiom.
Intervals and More: Aggregation Functions for Picture Fuzzy Sets
TLDR
The set of truth values for these fuzzy sets as well as aggregation functions for these truth values are discussed, paying special attention to t-norms and t-conorms.
Mathematical Fuzzy Logics
  • S. Gottwald
  • Computer Science
    Bulletin of Symbolic Logic
  • 2008
TLDR
The paper discusses the mathematical background for the interest in such systems of mathematical fuzzy logics, as well as the most important ones of them, and concentrates on the propositional cases.
...
...

References

SHOWING 1-10 OF 97 REFERENCES
Fuzzy class theory
Fuzzy sets and residuated logic
  • K. Lano
  • Computer Science, Philosophy
  • 1992
A development of set theory in fuzzy logic
TLDR
This paper presents an axiomatic set theory FST ('Fuzzy Set Theory'), as a first-order theory within the framework of fuzzy logic in the style of [4], and shows that FST interprets ZF.
About the axiomatizations of fuzzy sets theory
Fuzzy logic and fuzzy set theory
TLDR
An intuitionistic logic and intuitionistic set theory based on Gentzen's intuitionistic predicate logic with additional axioms and inference rules are presented, which asserts that the truth value set is linearly ordered and dense cHa.
A set theory within fuzzy logic
  • P. Hájek, Z. Haniková
  • Computer Science
    Proceedings 31st IEEE International Symposium on Multiple-Valued Logic
  • 2001
TLDR
This paper proposes a possibility of developing an axiomatic set theory, as first-order theory within the framework of fuzzy logic in the style of Hajek's Basic fuzzy logic BL, and shows the nontriviality of the theory.
Formal frameworks for approximate reasoning
  • K. Lano
  • Philosophy, Computer Science
  • 1992
Set-valued set theory. II
TLDR
This section needs to define the other concepts common in elementary classical set theory and then to verify that the sets given by the various definitions have the usual properties, including existence.
...
...