Selected Properties of Some Generalizations of BCK Algebras
Discussiones Mathematicae. General Algebra and Applications, Tome 40 (2020) no. 1, pp. 89-103
Voir la notice de l'article provenant de la source Library of Science
The notion of a RM algebra, introduced recently, is a generalization of many other algebras of logic. The class of RM algebras contains (weak-)BCC algebras, BCH algebras, BCI algebras, BCK algebras and many others. A RM algebra is an algebra A = (A; →, 1) of type (2, 0) satisfying the identities: x → x = 1 and 1 → x = x. In this paper we study the set of maximal elements of a RM algebra, branches of a RM algebra and moreover translation deductive systems of a RM algebra giving so called the Representation Theorem for RM algebras.
Keywords:
RM algebra, deductive system
@article{DMGAA_2020_40_1_a7,
author = {Dymek, Grzegorz},
title = {Selected {Properties} of {Some} {Generalizations} of {BCK} {Algebras}},
journal = {Discussiones Mathematicae. General Algebra and Applications},
pages = {89--103},
publisher = {mathdoc},
volume = {40},
number = {1},
year = {2020},
language = {en},
url = {http://geodesic.mathdoc.fr/item/DMGAA_2020_40_1_a7/}
}
TY - JOUR AU - Dymek, Grzegorz TI - Selected Properties of Some Generalizations of BCK Algebras JO - Discussiones Mathematicae. General Algebra and Applications PY - 2020 SP - 89 EP - 103 VL - 40 IS - 1 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/DMGAA_2020_40_1_a7/ LA - en ID - DMGAA_2020_40_1_a7 ER -
Dymek, Grzegorz. Selected Properties of Some Generalizations of BCK Algebras. Discussiones Mathematicae. General Algebra and Applications, Tome 40 (2020) no. 1, pp. 89-103. http://geodesic.mathdoc.fr/item/DMGAA_2020_40_1_a7/