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
    0 references
    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

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references