Communications of the
Korean Mathematical Society
CKMS

ISSN(Print) 1225-1763 ISSN(Online) 2234-3024

Article

HOME ALL ARTICLES View

Commun. Korean Math. Soc. 2010; 25(4): 537-545

Printed December 1, 2010

https://doi.org/10.4134/CKMS.2010.25.4.537

Copyright © The Korean Mathematical Society.

Hyper MV-deductive systems of hyper MV-algebras

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

Stats or Metrics

Share this article on :

Related articles in CKMS