Pseudo equality algebras: revision (Q2403325)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Pseudo equality algebras: revision |
scientific article |
Statements
Pseudo equality algebras: revision (English)
0 references
8 September 2017
0 references
A new type of algebras, called JK-algebras, which more precisely reflects the relation to pseudo BCK-algebras with meet in the sense of \textit{J. Kabziński} and \textit{A. Wroński} [``On equivalential algebras'', in: Proceedings of the 1975 international symposium on multiple-valued logic, India University, Bloomington. Fort Belvoir, VA: Defense Technical Infromation Center. 231-- 243 (1975)] is defined and described. Congruences of such algebras are characterized via normal closed deductive systems. Finally, the authors show that the variety of JK-algebras is subtractive and congruence permutable.
0 references
BCK-algebra
0 references
pseudo hoop, pseudo BCK-algebra
0 references
deductive system
0 references