We describe relations between hyper MV-algebras and hyper K-algebras and prove that a finite hyper MV-algebra satisfying the condition 0 circle plus 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.
机构:
Univ Salerno, Dept Math, Via Giovanni Paolo 2 132, I-84084 Fisciano, SA, ItalyUniv Salerno, Dept Math, Via Giovanni Paolo 2 132, I-84084 Fisciano, SA, Italy
Di Nola, Antonio
Lenzi, Giacomo
论文数: 0引用数: 0
h-index: 0
机构:
Univ Salerno, Dept Math, Via Giovanni Paolo 2 132, I-84084 Fisciano, SA, ItalyUniv Salerno, Dept Math, Via Giovanni Paolo 2 132, I-84084 Fisciano, SA, Italy
Lenzi, Giacomo
2017 IEEE INTERNATIONAL CONFERENCE ON FUZZY SYSTEMS (FUZZ-IEEE),
2017,