The formal construction of fuzzy numbers

DOI10.2478/forma-2014-0032zbMath1316.03030OpenAlexW935710377MaRDI QIDQ2353434

Adam Grabowski

Publication date: 14 July 2015

Published in: Formalized Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2478/forma-2014-0032

zbMATH Keywords

fuzzy setstriangular fuzzy numbersformal models of fuzzy sets

Mathematics Subject Classification ID

Theory of fuzzy sets, etc. (03E72) Mechanization of proofs and logical operations (03B35)

Related Items (5)

Some properties of membership functions composed of triangle functions and piecewise linear functions ⋮ Basic formal properties of triangular norms and conorms ⋮ Formal introduction to fuzzy implications ⋮ Formalizing Lattice-Theoretical Aspects of Rough and Fuzzy Sets ⋮ Initial Comparison of Formal Approaches to Fuzzy and Rough Sets

Uses Software

• Mizar

Cites Work

• Fuzzy sets and systems. Theory and applications
• ROUGH FUZZY SETS AND FUZZY ROUGH SETS*
• Operations on fuzzy numbers
• Efficient Rough Set Theory Merging
• Fuzzy sets
• Unnamed Item

This page was built for publication: The formal construction of fuzzy numbers