Homomorphisms on the monoid of fuzzy implications and the iterative functional equation I(x,I(x,y))=I(x,y)

Vemuri, N R and Jayaram, Balasubramaniam (2015) Homomorphisms on the monoid of fuzzy implications and the iterative functional equation I(x,I(x,y))=I(x,y). Information Sciences, 298. pp. 1-21. ISSN 0020-0255

Text (Author version post print)
Info-Sci_2014.pdf - Accepted Version

Download (290kB)


Recently, Vemuri and Jayaram proposed a novel method of generating fuzzy implications, called the ⊛⊛-composition, from a given pair of fuzzy implications [Representations through a Monoid on the set of Fuzzy Implications, Fuzzy Sets and Systems, 247, 51-67]. However, as with any generation process, the ⊛⊛-composition does not always generate new fuzzy implications. In this work, we study the generative power of the ⊛⊛-composition. Towards this end, we study some specific functional equations all of which lead to the solutions of the iterative functional equation I(x,I(x,y))=I(x,y)I(x,I(x,y))=I(x,y) involving fuzzy implications which has been studied extensively for different families of fuzzy implications in this very journal, see [Information Sciences 177, 2954–2970 (2007); 180, 2487–2497 (2010); 186, 209–221 (2012)]. In this work, unlike in other existing works, we do not restrict the solutions to a particular family of fuzzy implications. Thus we take an algebraic approach towards solving these functional equations. Viewing the ⊛⊛-composition as a binary operation ⊛⊛ on the set II of all fuzzy implications one obtains a monoid structure (I,⊛)(I,⊛) on the set II. From the Cayley’s theorem for monoids, we know that any monoid is isomorphic to the set of all right translations. We determine the complete set KK of fuzzy implications w.r.t. which the right translations also become semigroup homomorphisms on the monoid (I,⊛I,⊛) and show that KK not only answers our questions regarding the generative power of the ⊛⊛-composition but also contains many as yet unknown solutions of the iterative functional equation I(x,I(x,y))=I(x,y)I(x,I(x,y))=I(x,y).

[error in script]
IITH Creators:
IITH CreatorsORCiD
Jayaram, Balasubramaniamhttp://orcid.org/0000-0001-7370-3821
Item Type: Article
Uncontrolled Keywords: Semigroup; Monoid; Homomorphism; Center; Idempotent element; Right absorbing element; Fuzzy implications; Neutrality property; Functional equation
Subjects: ?? sub3.8 ??
Divisions: Department of Mathematics
Depositing User: Team Library
Date Deposited: 26 Nov 2014 10:16
Last Modified: 20 Sep 2017 07:25
URI: http://raiith.iith.ac.in/id/eprint/991
Publisher URL: https://doi.org/10.1016/j.ins.2014.10.066
OA policy: http://www.sherpa.ac.uk/romeo/issn/0020-0255/
Related URLs:

Actions (login required)

View Item View Item
Statistics for RAIITH ePrint 991 Statistics for this ePrint Item