zbMATH — the first resource for mathematics

Fuzzy class theory. (English) Zbl 1086.03043
Summary: The paper introduces a simple, yet powerful axiomatization of Zadeh’s notion of fuzzy set, based on formal fuzzy logic. The presented formalism is strong enough to serve as a foundation of a large part of fuzzy mathematics. Its essence is elementary fuzzy set theory, cast as two-sorted first-order theory over fuzzy logic, which is generalized to simple type theory. We show 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. In this paper we restrict ourselves to set relations and operations that are definable without any structure on the universe of objects presupposed; however, we also demonstrate how to add structure to the universe of discourse within our framework.

03E72 Theory of fuzzy sets, etc.
03B52 Fuzzy logic; logic of vagueness
Full Text: DOI
[1] L. Běhounek, P. Cintula, From fuzzy logic to fuzzy mathematics: a methodological manifesto, Fuzzy Sets and Systems (2004) submitted for publication.
[2] Bodenhofer, U., A similarity-based generalization of fuzzy orderings preserving the classical axioms, Internat. J. uncertainty, fuzziness and knowledge-based systems, 8, 5, 593-610, (2000) · Zbl 1113.03333
[3] Chapin, E.W., Set-valued set theorypart one, Notre dame J. formal logic, 15, 4, 619-634, (1974) · Zbl 0236.02049
[4] Chapin, E.W., Set-valued set theorypart two, Notre dame J. formal logic, 16, 2, 255-267, (1975) · Zbl 0236.02050
[5] Cintula, P., The \(Ł \operatorname{\Pi}\) and \(Ł \operatorname{\Pi} \frac{1}{2}\) propositional and predicate logics, Fuzzy sets and systems, 124, 3, 21-34, (2001)
[6] Cintula, P., Advances in the \(\text{Ł} \operatorname{\Pi}\) and \(\text{Ł} \operatorname{\Pi} \frac{1}{2}\) logics, Arch. math. logic, 42, 5, 449-468, (2003)
[7] P. Cintula, Weakly implicative (fuzzy) logics, Technical Report 912, Institute of Computer Science, Czech Academy of Sciences, 2004. · Zbl 1101.03015
[8] Esteva, F.; Godo, L.; Montagna, F., The \(Ł \operatorname{\Pi}\) and \(Ł \operatorname{\Pi} \frac{1}{2}\) logicstwo complete fuzzy systems joining łukasiewicz and product logics, Arch. math. logic, 40, 1, 39-67, (2001)
[9] Gottwald, S., Fuzzy sets and fuzzy logicfoundations of application—from a mathematical point of view, (1993), Vieweg Wiesbaden
[10] P. Hájek, Metamathematics of Fuzzy Logic, Trends in Logic, vol. 4, Kluwer, Dordrecht, 1998.
[11] P. Hájek, Zuzana Haniková, A development of set theory in fuzzy logic, in: M. Fitting, E. Orlowska (eds.), Beyond Two: Theory and Applications of Multiple-Valued Logic, Studies in Fuzziness and Soft Computing, vol. 114, Physica-Verlag, Heidelberg, 2003, pp. 273-285.
[12] Höhle, U., Fuzzy real numbers as Dedekind cuts with respect to a multiple-valued logic, Fuzzy sets and systems, 24, 3, 263-278, (1987) · Zbl 0638.03051
[13] Montagna, F.; Panti, G., Adding structure to MV-algebras, J. pure and appl. algebra, 164, 3, 365-387, (2001) · Zbl 0992.06012
[14] Novák, V., On fuzzy type theory, Fuzzy sets and systems, 149, 235-273, (2004) · Zbl 1068.03019
[15] Takeuti, G.; Titani, S., Fuzzy logic and fuzzy set theory, Arch. math. logic, 32, 1-32, (1992) · Zbl 0786.03039
[16] White, R.B., The consistency of the axiom of comprehension in the infinite-valued predicate logic of łukasiewicz, J. philos. logic, 8, 509-534, (1979) · Zbl 0418.03037
[17] Zadeh, L.A., Fuzzy sets, Inform. control, 8, 3, 338-353, (1965) · Zbl 0139.24606
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.