Some remarks on hyper MV-algebras

We describe relations between hyper MV-algebras and hyper K-algebras and prove that a finite hyper MV-algebra satisfying the condition $0\CirclePlus x = \{x\}$ , used by many authors, is in fact an ordinary MV-algebra. We also characterize relations between the main types of deductive systems of hyper MV-algebras.