It is known that all subvarieties of MV-algebras are finitely axiomatizable. In the literature, one can find equational characterizations of certain subvarieties, such as MV -algebras. In this paper we write down equational bases for all MV-varieties n and prove a representation theorem for each subvariety.
In this paper the authors have developed an algebraic theory, suitable for the analysis of fuzzy systems. They have used the notions of semiring and semimodule, introduced the notion of semilinear space and given numerous examples of them and defined also the notions of linear dependence and independence. Then, they have shown that the composition operation, which plays an essential role in the analysis of fuzzy systems because of its role in the compositional rule of inference, can be interpreted as a homomorphism between special semimodules. Consequently, this operation is, in a certain sense, a linear operation. This property formally explains why fuzzy systems are attractive for the applications
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.