Fuzzy mathematics, grounded in the framework of Fuzzy Logic, provides a robust methodology for modelling and analyzing systems characterized by uncertainty, vagueness, and partial truth values, which are not adequately addressed by classical binary logic. Its practical significance is evident across diverse real-world applications, including adaptive control in household appliances, intelligent traffic management, advanced vehicular systems, and performance optimization in consumer electronics. Furthermore, fuzzy-based approaches contribute to decision-support mechanisms in healthcare diagnostics, financial risk evaluation, and meteorological analysis. These applications highlight its alignment with human reasoning processes, where gradations of truth are more natural than crisp dichotomies. In this context, the present study formulates pointwise definitions of fuzzy left, right, and tri-ideals in semigroups and rigorously demonstrates their equivalence with established set-theoretic representations. The investigation is extended to semigroups through the application of Tom Head’s metatheorem, which facilitates the systematic derivation of fuzzy counterparts of classical algebraic results in a simplified and computation-free manner. The approach yields concise and transparent proofs, thereby enhancing theoretical clarity. Additionally, the structural properties of fuzzy tri-ideals are examined in both simple and regular semigroups, with particular emphasis on their closure under projection. The study establishes several key results, including the preservation of tri-ideal structure under intersections and products involving various classes of fuzzy ideals and subsemigroups. It is also shown that all conventional ideal types—left, right, two-sided, bi-, interior, and quasi-ideals—naturally satisfy the conditions of tri-ideals within a semigroup. Finally, necessary and sufficient conditions are derived to characterize when a fuzzy subsemigroup qualifies as a fuzzy tri-ideal, along with criteria for the regularity of semigroups in the framework of fuzzy tri-ideal theory.

{{conclusion}}

[1] R. A. Good and D. R. Hughes, Associative groups for a semigroup, Bull. Amer. Math. Soc., 58 (1952) 624–625. [2] T Head, A metatheorem for deriving fuzzy theorems from crisp versions, FSS, 73(1995) 349-358. [3] K Iseki, Quasi-ideals in semirings without zero, Proc. Japan Academy, 34(2) (1958) 79-84. [4] A Jain, Tom Head’s join structure of fuzzy sub-groups, Fuzzy Sets and Systems, 125(2002) 191-200. [5] Nobuaki Kuroki, On fuzzy ideals and fuzzy bi-ideals in semigroups, Fuzzy Sets and Systems 5 (1981) 203-215. [6] Nobuaki Kuroki, On fuzzy interior ideals in semigroups, J. Fuzzy Math.}, 3 (2) (1988) 436-447. [7] S. Lajos and F.A. Szasz, On the bi-ideals in associative ring, Proc. Japan Acad. 46(1970) 505- 507. [8] M.M.K. Rao, Tri-ideals of semirings, Bull. Int. Math. Virtual Inst, 10(1)(2020), 145-155. [9] M.M.K. Rao, Tri-ideals of semigroups, Bull. Int. Math. Virtual Inst, 14(2) (2024) 213-2233. [10] Anand Swaroop Prajapati and Ravi Srivatava, Metatheorem and fuzzy quasi-ideals in semigroups, The Journal of Fuzzy Mathematics, 14 (4) (2006) 851-865. [11] Ravi Srivastava and Arvind, Generalization of Fuzzy ideals of Semirings and Metatheorem, Annals of Fuzzy Mathematics and Informatics, 27 (3) (2024), 245-255. [12] G Szasz, Interior ideals in semigroups, Notes on Semigroups IV, Dept. Math. K. Marx. Univ. Economics, (1977) 1-7. [13] L A Zadeh, Fuzzy Sets, Inform. and Control}, 8(1965) 338-353.

© 2025 International Journal of Engineering and Techniques (IJET).

Digital Object Identifier (DOI)

IJET assigns a unique DOI to every accepted article via Zenodo for persistent linking and citation. Your article’s DOI: https://doi.org/{{doi}}

Open DOI About Zenodo DOI

Close