## 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
New types of hyper MV-deductive systems in hyper MV-algebras
✍ Scribed by Young Bae Jun; Min Su Kang; Hee Sik Kim
- Publisher
- John Wiley and Sons
- Year
- 2010
- Tongue
- English
- Weight
- 84 KB
- Volume
- 56
- Category
- Article
- ISSN
- 0044-3050
No coin nor oath required. For personal study only.
✦ Synopsis
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 relations are investigated (© 2010 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)
📜 SIMILAR VOLUMES
## 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