Convex Congruences on BCK-Algebras

DOI10.1515/DEMA-1985-0123zbMath0602.03020OpenAlexW2783608341MaRDI QIDQ3737428

Tadeusz Traczyk, Wiesław Zarebski

Publication date: 1985

Published in: Demonstratio Mathematica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1515/dema-1985-0123

zbMATH Keywords

congruence extension propertyfactor algebrasvariety of BCK-algebrasconvex congruence classconvex congruence relation

Mathematics Subject Classification ID

Other algebras related to logic (03G25) Subalgebras, congruence relations (08A30) Ordered structures (06F99)

Related Items (2)

Convex congruences ⋮ On Traczyk's BCK-sequences

This page was built for publication: Convex Congruences on BCK-Algebras