On a conjecture by Andrzej Wroński for BCK-algebras and subreducts of hoops (Q2740976)

From MaRDI portal





scientific article; zbMATH DE number 1642189
Language Label Description Also known as
English
On a conjecture by Andrzej Wroński for BCK-algebras and subreducts of hoops
scientific article; zbMATH DE number 1642189

    Statements

    25 February 2002
    0 references
    subreducts
    0 references
    embedding
    0 references
    BCK-algebras
    0 references
    hoops
    0 references
    On a conjecture by Andrzej Wroński for BCK-algebras and subreducts of hoops (English)
    0 references
    The author gives a detailed proof of a conjecture by Andrzej Wroński on embedding BCK-algebras satisfying \((z* x)* (y*x)= (z* y)* (x*y)\) into reducts of hoops (i.e., naturally ordered commutative integral monoids with residuation).
    0 references
    0 references

    Identifiers