# 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} }

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

#### Topics from this paper

#### 36 Citations

Universes of Fuzzy Sets and Axiomatizations of Fuzzy Set Theory. Part II: Category Theoretic Approaches

- Mathematics, Computer Science
- Stud Logica
- 2006

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

- Mathematics
- 2006

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 within… Expand

The Logic of Fuzzy Set Theory: A Historical Approach

- Computer Science
- 2015

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

- Mathematics, Computer Science
- Fuzzy Sets Syst.
- 2009

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

- Mathematics
- 2014

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 remove… Expand

L-Fuzzy Sets and Isomorphic Lattices: Are All the “New” Results Really New? †

- Mathematics
- 2018

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

- Mathematics, Computer Science
- Fuzzy Sets Syst.
- 2010

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

- Computer Science
- 2015

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, and… Expand

Constructive Sets with Non-binary Inclusion

- Mathematics
- 2013

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 complex… Expand

Neutrality and Many-Valued Logics

- Computer Science, Mathematics
- ArXiv
- 2007

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

#### References

SHOWING 1-10 OF 97 REFERENCES

Fuzzy class theory

- Mathematics, Computer Science
- Fuzzy Sets Syst.
- 2005

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

- Mathematics
- 1992

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

- Mathematics, Computer Science
- J. Symb. Log.
- 1984

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

- Mathematics, Computer Science
- Inf. Sci.
- 1990

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

- Mathematics
- 2003

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 construction… Expand

About the axiomatizations of fuzzy sets theory

- Mathematics
- 1991

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 fuzzy… Expand

Terminological difficulties in fuzzy set theory - The case of "Intuitionistic Fuzzy Sets"

- Mathematics, Computer Science
- Fuzzy Sets Syst.
- 2005

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

- Mathematics, Computer Science
- Arch. Math. Log.
- 1992

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

- Mathematics
- 2005

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 set… Expand

A set theory within fuzzy logic

- Computer Science
- Proceedings 31st IEEE International Symposium on Multiple-Valued Logic
- 2001

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