On varieties of basic algebras

被引:3
作者
Chajda, Ivan [1 ]
Halas, Radomir [1 ]
机构
[1] Palacky Univ, Dept Algebra & Geometry, Fac Sci, Olomouc 77146, Czech Republic
关键词
Basic algebra; Commutative basic algebra; Symmetric basic algebra; Defining identity; MV-algebra; Orthomodular lattice;
D O I
10.1007/s00500-014-1365-y
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
It is known that the variety of commutative basic algebras, the variety of MV-algebras, the variety of orthomodular lattices and hence also the variety of Boolean algebras are proper subvarieties of the variety of basic algebras. In the paper several possible axiomatizations of the variety of basic algebras are provided. The variety of symmetric basic algebras is introduced and shown to be a proper subvariety of the variety of commutative basic algebras, and whose members have the underlying lattices distributive. It is proved that commutative basic algebras can be described as residuated -groupoids.
引用
收藏
页码:261 / 267
页数:7
相关论文
共 50 条
[21]   Completions of Basic Algebras [J].
Alizadeh, Majid .
LOGIC, LANGUAGE, INFORMATION AND COMPUTATION, 2009, 5514 :72-83
[22]   On topological basic algebras [J].
Nejad, S. M. Ghasemi ;
Borzooei, R. A. .
JOURNAL OF INTELLIGENT & FUZZY SYSTEMS, 2019, 37 (05) :6629-6644
[23]   MP-CLOSED SUBSETS IN BASIC ALGEBRAS [J].
Chajda, I. ;
Krnavek, J. .
ASIAN-EUROPEAN JOURNAL OF MATHEMATICS, 2012, 5 (04)
[24]   Commutative basic algebras and coupled near semirings [J].
Chajda, Ivan ;
Laenger, Helmut .
SOFT COMPUTING, 2015, 19 (05) :1129-1134
[25]   Double Basic Algebras [J].
Chajda, Ivan .
ORDER-A JOURNAL ON THE THEORY OF ORDERED SETS AND ITS APPLICATIONS, 2009, 26 (02) :149-162
[26]   Commutative basic algebras and coupled near semirings [J].
Ivan Chajda ;
Helmut Länger .
Soft Computing, 2015, 19 :1129-1134
[27]   Pseudo Basic Algebras [J].
Chajda, Ivan ;
Kolarik, Miroslav ;
Krnavek, Jan .
JOURNAL OF MULTIPLE-VALUED LOGIC AND SOFT COMPUTING, 2013, 21 (1-2) :113-129
[28]   Double Basic Algebras [J].
Ivan Chajda .
Order, 2009, 26 :149-162
[29]   The variety of modular basic algebras generated by MV-chains and horizontal sums of three-element chain basic algebras [J].
Chajda, Ivan ;
Halas, Radomir .
INFORMATION SCIENCES, 2012, 199 :179-186
[30]   CONGRUENCES AND IDEALS IN LATTICE EFFECT ALGEBRAS AS BASIC ALGEBRAS [J].
Pulmannova, Sylvia ;
Vincekova, Elena .
KYBERNETIKA, 2009, 45 (06) :1030-1039