New types of hyper MV‐deductive systems in hyper MV‐algebras |
| |
Authors: | Young Bae Jun Min Su Kang Hee Sik Kim |
| |
Institution: | 1. Department of Mathematics Education (and RINS), Gyeongsang National University, Chinju 660‐701, Korea;2. Department of Mathematics, Hanyang University, Seoul 133‐791, Korea |
| |
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) |
| |
Keywords: | Hyper MV‐algebra (weak) hyper MV‐deductive system hyper MV‐deductive system of types (⊆ ⊆ ⊆ ) (≪ ⊆ ⊆ ) (≪ ≪ ⊆ ) (≪ ≪ ≪ ) and (∩ ∩ ∩ )
|
|
|