New types of hyper MV‐deductive systems in hyper MV‐algebras
Young Bae Jun, Min Su Kang, Hee Sik Kim · Mathematical logic quarterly · 2010
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)