Factor congruences in BCK-algebras
From MaRDI portal
Publication:2391226
In the paper under review, the authors present a general characterization of factor congruences in BCK-algebras, and use this description to determine whether a free algebra for a quasi-variety of BCK-algebras can be decomposed directly or not. In case it is decomposable, the authors determine its factors.
Recommendations
Cites work
- Algebraic Analysis of Many Valued Logics
- Annihilators in BCK-Algebras
- Boundary Harnack principle and Martin boundary for a uniform domain
- Decomposability of free Tarski algebras
- Decomposability of free Łukasiewicz implication algebras
- Free Łukasiewicz and hoop residuation algebras
- scientific article; zbMATH DE number 3724445 (Why is no real title available?)
- scientific article; zbMATH DE number 3751028 (Why is no real title available?)
- scientific article; zbMATH DE number 3598466 (Why is no real title available?)
- On the quasivariety of BCK-algebras and its subvarieties
- On the structure of hoops
- Super-Łukasiewicz implicational logics
Cited in
(7)- Discrete and conservative factorizations in \textbf{Fib}\((B)\)
- On factorable bigraphic pairs
- Decomposability of the finitely generated free hoop residuation algebra
- scientific article; zbMATH DE number 4174998 (Why is no real title available?)
- Convex Congruences on BCK-Algebras
- scientific article; zbMATH DE number 2145484 (Why is no real title available?)
- scientific article; zbMATH DE number 962253 (Why is no real title available?)
This page was built for publication: Factor congruences in BCK-algebras
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2391226)
