Some properties of membership functions composed of triangle functions and piecewise linear functions

DOI10.2478/FORMA-2021-0011zbMath1483.68491OpenAlexW4205450817MaRDI QIDQ2119552

Takashi Mitsuishi

Publication date: 29 March 2022

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

Full work available at URL: https://doi.org/10.2478/forma-2021-0011

zbMATH Keywords

membership functionpiecewise linear function

Mathematics Subject Classification ID

Fuzzy control/observation systems (93C42) Theory of fuzzy sets, etc. (03E72) Formalization of mathematics in connection with theorem provers (68V20)

Related Items (1)

Isosceles triangular and isosceles trapezoidal membership functions using centroid method

Uses Software

• Mizar

Cites Work

• The role of the Mizar mathematical library for interactive proof development in Mizar
• The formal construction of fuzzy numbers
• Formalizing Lattice-Theoretical Aspects of Rough and Fuzzy Sets
• Mizar: State-of-the-art and Beyond

This page was built for publication: Some properties of membership functions composed of triangle functions and piecewise linear functions