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={S. Gottwald},
  journal={Studia Logica},
  year={2006},
  volume={82},
  pages={211-244}
}
  • S. Gottwald
  • Published 2006
  • Mathematics, 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… Expand
Universes of Fuzzy Sets and Axiomatizations of Fuzzy Set Theory. Part II: Category Theoretic Approaches
  • S. Gottwald
  • Mathematics, Computer Science
  • Stud Logica
  • 2006
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. Expand
Fuzzy Set Theory – 40 Years of Foundational Discussions
For classical sets one has the cumulative hierarchy of sets, and also the category SET of all sets and mappings as standard approaches toward the universe of all sets. Both of them discussed withinExpand
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. Expand
Relational compositions in Fuzzy Class Theory
TLDR
The method provides a systematization of the family of relational notions and generates a simple equational calculus for proving elementary identities between them, thus trivializing a large part of the theory of fuzzy relations. Expand
Boolean-Valued Sets as Vague Sets
The standard fuzzy logic and fuzzy set theory are degree-functional and thus susceptible to the problem of penumbral connections. This chapter attempts to radically revise them in order to removeExpand
L-Fuzzy Sets and Isomorphic Lattices: Are All the “New” Results Really New? †
We review several generalizations of the concept of fuzzy sets with two- or three-dimensional lattices of truth values and study their relationship. It turns out that, in the two-dimensional case,Expand
An early approach toward graded identity and graded membership in set theory
  • S. Gottwald
  • Mathematics, Computer Science
  • Fuzzy Sets Syst.
  • 2010
TLDR
The paper considers an early approach toward a (fuzzy) set theory with a graded membership predicate and a graded equality relation which had been developed by the German mathematician Klaua in 1965 and compares the simultaneous recursive definitions of these relations with the very similar approach toward Boolean algebra valued interpretations of membership and equality. Expand
Set Theory and Arithmetic in Fuzzy Logic
This chapter offers a review of Petr Hajek’s contributions to first-order axiomatic theories in fuzzy logic (in particular, ZF-style fuzzy set theories, arithmetic with a fuzzy truth predicate, andExpand
Constructive Sets with Non-binary Inclusion
In this thesis we outline how to represent rough and fuzzy sets in intuitionistic type theory. The inherent meaning of such constructs are valuable when it comes to representing certainty in complexExpand
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. Expand
...
1
2
3
4
...

References

SHOWING 1-10 OF 97 REFERENCES
Fuzzy class theory
TLDR
This paper introduces a simple, yet powerful axiomatization of Zadeh's notion of fuzzy set, based on formal fuzzy logic, and shows a reduction of the elementary fuzzy set theory to fuzzy propositional calculus and a general method of fuzzification of classical mathematical theories within this formalism. Expand
Fuzzy sets and residuated logic
Abstract The properties of a set theory, RZF, defined in a logic weaker than intuitionistic logic are investigated, using natural models. RZF is intended to act as a framework for fuzzy set theory,Expand
Intuitionistic Fuzzy Logic and Intuitionistic Fuzzy Set Theory
TLDR
From a logical standpoint, each logic has its corresponding set theory in which each logical operation is translated into a basic operation for set theory; namely, the relation ⊆ and = on sets are translation of the logical operations → and ↔. Expand
An axiomatic approach to fuzzy set theory
TLDR
The set of axioms exhibited is the minimal set that enables a formal definition of fuzzy sets, without assuming a universe of discourse, and requires fewer axiom than any other published formal definitionof fuzzy sets. Expand
A development of set theory in fuzzy logic
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]. In the classical ZFC, we use a constructionExpand
About the axiomatizations of fuzzy sets theory
Abstract Starting from the results of French [9] we discuss the notions of Fuzzy Set and of fuzziness: we show some characteristic properties that should be fulfilled by an axiomatic theory of fuzzyExpand
Terminological difficulties in fuzzy set theory - The case of "Intuitionistic Fuzzy Sets"
TLDR
This paper is a plea for a clarification of terminology, based on mathematical resemblances and the comparison of motivations between ''intuitionistic fuzzy sets'' and other theories. Expand
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. Expand
Triangular norm-based mathematical fuzzy logics
Abstract In this chapter, we consider particular classes of infinite-valued propositional logics which are strongly related to t-norms as conjunction connectives and to the real unit interval as setExpand
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. Expand
...
1
2
3
4
5
...