## Abstract The notions of a (weak) hyper MV‐deductive system, a (⊆, ⊆; ⊆)‐hyper MV‐deductive system, a (≪, ⊆; ⊆)‐ hyper MV‐deductive system, a (≪, ≪; ⊆)‐hyper MV‐deductive system, a (≪, ≪; ≪)‐hyper MV‐deductive system and a (∩, ∩; ∩)‐hyper MV‐deductive system are introduced, and then their relatio
Hyper MV -ideals in hyper MV -algebras
✍ Scribed by Lida Torkzadeh; Afsaneh Ahadpanah
- Publisher
- John Wiley and Sons
- Year
- 2010
- Tongue
- English
- Weight
- 117 KB
- Volume
- 56
- Category
- Article
- ISSN
- 0044-3050
No coin nor oath required. For personal study only.
✦ Synopsis
Abstract
In this paper we define the hyper operations ⊗, ∨ and ∧ on a hyper MV ‐algebra and we obtain some related results. After that by considering the notions ofhyper MV ‐ideals and weak hyper MV ‐ideals, we prove some theorems. Then we determine relationships between (weak) hyper MV ‐ideals in a hyper MV ‐algebra (M, ⊕, *, 0) and (weak) hyper K ‐ideals in a hyper K ‐algebra (M, °, 0). Finally we give a characterization of hyper MV ‐algebras of order 3 or 4 based on the (weak) hyper MV ‐ideals (© 2010 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)
📜 SIMILAR VOLUMES
## Abstract Generalizations of Boolean elements of a BL‐algebra __L__ are studied. By utilizing the MV‐center MV(__L__) of __L__, it is reproved that an element __x__ ∈ __L__ is Boolean iff __x__ ∨ __x__ \* = **1**. __L__ is called semi‐Boolean if for all __x__ ∈ __L__, __x__ \* is Boolean. An MV‐a
## Abstract In this paper we study the category of hyper MV‐algebras and we prove that it has a terminal object and a coequalizer. We show that Jia's construction can be modified to provide a free hyper MV‐algebra by a set. We use this to show that in the category of hyper MV‐algebras the monomorph
## Abstract In this work we introduce a class of commutative rings whose defining condition is that its lattice of ideals, augmented with the ideal product, the semi‐ring of ideals, is isomorphic to an MV‐algebra. This class of rings coincides with the class of commutative rings which are direct su