• Honam Mathematical Journal
• /
• v.38 no.3
• /
• pp.643-659
• /
• 2016

In this paper, we investigate some new results in MV-algebras and (strong) hyper MV-algebras. We show that for any infinite countable set M, we can construct an MV-algebra and a strong hyper MV-algebra on M. Specially, for any infinite totally bounded set, we can construct a strong hyper MV-algebra on it. Then by considering the concept of fundamental relation on hyper MV-algebras, we define the notion of fundamental MV-algebra and prove that any MV-algebra is a fundamental MV-algebra. In practical, we show that any infinite countable MV-algebra is a fundamental MV-algebra of itself, but it is not correct for finite MV-algebras.

• Journal of applied mathematics & informatics
• /
• v.22 no.1_2
• /
• pp.475-489
• /
• 2006

After the introduction of fuzzy sets by Zadeh [8], there have been a number of generalizations of fundamental concept. The notion of intuitionistic fuzzy sets introduced by Atanassov is one among them. An intuitionistic fuzzy set is also called a bifuzzy set according to [5]. In this paper, we apply the concept of a bifuzzy set to (implicative) ideals in pseudo MV-algebras. The notion of a bifuzzy (implicative) ideal of a pseudo MV-algebra is introduced, and some related properties are investigated. Conditions for a bifuzzy set to be a bifuzzy ideal are given, and characterizations of a bifuzzy (implicative) ideal are provided. Using a family of ideals, bifuzzy ideals are established.