Triangular Fuzzy Set Composed of Two Intersecting Affine Maps
Summary In this article, various properties of triangular membership functions are formally proven, including the relationship between a triangular membership function composed of two straight lines and a MAX function, as well as a triangular membership function defined by the horizontal coordinates of the triangle’s vertices. Furthermore, we formalize defuzzified value of a triangular membership function and the integration of two connected functions.
Authors
- Takashi Mitsuishi
Institutions
- Nagano University (JP)
Publication Details
- Journal
- Formalized Mathematics
- Published
- 2025-09-01
- DOI
- https://doi.org/10.2478/forma-2025-0011
- Primary Topic
- Fuzzy Systems and Optimization
- Type
- article
- Field-Weighted Citation Impact
- 0.00