Hyper MV-deductive systems of hyper MV-algebras

Young Bae Jun, Min Su Kang, Hee Sik Kim

Research output: Contribution to journalArticle

10 Citations (Scopus)

Abstract

The notions of (weak) hyper MV-deductive systems and (weak) 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.

Original languageEnglish
Pages (from-to)537-545
Number of pages9
JournalCommunications of the Korean Mathematical Society
Volume25
Issue number4
DOIs
StatePublished - 2010 Nov 22

Fingerprint

Deductive System
MV-algebra
Algebra

Keywords

  • (weak) hyper MV-deductive system
  • (weak) implicative hyper MV-deductive system
  • Hyper MV-algebra

Cite this

Jun, Young Bae ; Kang, Min Su ; Kim, Hee Sik. / Hyper MV-deductive systems of hyper MV-algebras. In: Communications of the Korean Mathematical Society. 2010 ; Vol. 25, No. 4. pp. 537-545.
@article{08de905c9ef944d491fd06acbb96e1ff,
title = "Hyper MV-deductive systems of hyper MV-algebras",
abstract = "The notions of (weak) hyper MV-deductive systems and (weak) 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 = "(weak) hyper MV-deductive system, (weak) implicative hyper MV-deductive system, Hyper MV-algebra",
author = "Jun, {Young Bae} and Kang, {Min Su} and Kim, {Hee Sik}",
year = "2010",
month = "11",
day = "22",
doi = "10.4134/CKMS.2010.25.4.537",
language = "English",
volume = "25",
pages = "537--545",
journal = "Communications of the Korean Mathematical Society",
issn = "1225-1763",
number = "4",

}

Hyper MV-deductive systems of hyper MV-algebras. / Jun, Young Bae; Kang, Min Su; Kim, Hee Sik.

In: Communications of the Korean Mathematical Society, Vol. 25, No. 4, 22.11.2010, p. 537-545.

Research output: Contribution to journalArticle

TY - JOUR

T1 - Hyper MV-deductive systems of hyper MV-algebras

AU - Jun, Young Bae

AU - Kang, Min Su

AU - Kim, Hee Sik

PY - 2010/11/22

Y1 - 2010/11/22

N2 - The notions of (weak) hyper MV-deductive systems and (weak) 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.

AB - The notions of (weak) hyper MV-deductive systems and (weak) 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.

KW - (weak) hyper MV-deductive system

KW - (weak) implicative hyper MV-deductive system

KW - Hyper MV-algebra

UR - http://www.scopus.com/inward/record.url?scp=78349266422&partnerID=8YFLogxK

U2 - 10.4134/CKMS.2010.25.4.537

DO - 10.4134/CKMS.2010.25.4.537

M3 - Article

AN - SCOPUS:78349266422

VL - 25

SP - 537

EP - 545

JO - Communications of the Korean Mathematical Society

JF - Communications of the Korean Mathematical Society

SN - 1225-1763

IS - 4

ER -