Young Bae Jun, Min Su Kang, and Hee Sik Kim Gyeongsang National University, Hanyang University, Hanyang University
Abstract : The notions of (weak) hyper MV-deductive systems and (we-ak) implicative hyper MV-deductive systems are introduced, and several properties are investigated. Relations among hyper MV-deductive systems, weak hyper MV-deductive systems, implicative hyper MV-deductive systems and weak implicative hyper MV-deductive systems are discussed. A characterization of a hyper MV-deductive system is provided. A condition for a weak hyper MV-deductive system to be a weak implicative hyper MV-deductive system is given.