Some remarks on hyper MV-algebras

被引：3

作者：

Borzooei, R. A. ^{[1
]}

Dudek, W. A. ^{[2
]}

Radfar, A. ^{[3
]}

Zahiri, O. ^{[1
]}

机构：

[1] Shahid Beheshti Univ, Dept Math, Tehran, Iran

[2] Wroclaw Univ Technol, Inst Math & Comp Sci, PL-50370 Wroclaw, Poland

[3] Payam Noor Univ, Dept Math, Tehran, Iran

来源：

JOURNAL OF INTELLIGENT & FUZZY SYSTEMS | 2014年 / 27卷 / 06期

关键词：

(proper) hyper MV-algebra; hyper K-algebra; deductive system; IDEALS;

D O I：

10.3233/IFS-141258

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

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.

引用

页码：2997 / 3005

页数：9

共 50 条

[31] Frames and MV-algebras
Belluce L.P.
Di Nola A.
Studia Logica, 2005, 81 (3) : 357 - 385
[32] On product MV-algebras
Jakubík, J
CZECHOSLOVAK MATHEMATICAL JOURNAL, 2002, 52 (04) : 797 - 810
[33] On free MV-algebras
Jakubík, J
CZECHOSLOVAK MATHEMATICAL JOURNAL, 2003, 53 (02) : 311 - 317
[34] On Product MV-Algebras
Ján Jakubík
Czechoslovak Mathematical Journal, 2002, 52 : 797 - 810
[35] Implication in MV-algebras
Chajda, I
Halas, R
Kühr, J
ALGEBRA UNIVERSALIS, 2005, 52 (04) : 377 - 382
[36] Projective MV-algebras
Di Nola, Antonio
Grigolia, Revaz
Lettieri, Ada
INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, 2008, 47 (03) : 323 - 332
[37] On archimedean MV-algebras
Ján Jakubík
Czechoslovak Mathematical Journal, 1998, 48 : 575 - 582
[38] NORMALIZATION OF MV-ALGEBRAS
Chajda, I.
Halas, R.
Kuehr, J.
Vanzurova, A.
MATHEMATICA BOHEMICA, 2005, 130 (03): : 283 - 300
[39] Similarity MV-algebras
Gerla, B
Leustean, I
FUNDAMENTA INFORMATICAE, 2006, 69 (03) : 287 - 300
[40] The Writing of the MV-algebras
C. C. Chang
Studia Logica, 1998, 61 (1) : 3 - 6

← 1 2 3 4 5 →