Hyper MV-deductive systems of hyper MV-algebras
Commun. Korean Math. Soc. 2010 Vol. 25, No. 4, 537-545
https://doi.org/10.4134/CKMS.2010.25.4.537
Printed December 1, 2010
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.
Keywords : hyper MV-algebra, (weak) hyper MV-deductive system, (weak) implicative hyper MV-deductive system
MSC numbers : 06D35, 06F35, 03G25
Downloads: Full-text PDF  


Copyright © Korean Mathematical Society.
The Korea Science Technology Center (Rm. 411), 22, Teheran-ro 7-gil, Gangnam-gu, Seoul 06130, Korea
Tel: 82-2-565-0361  | Fax: 82-2-565-0364  | E-mail: paper@kms.or.kr   | Powered by INFOrang Co., Ltd