Factor congruences in BCK-algebras (Q2391226): Difference between revisions

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.

0 references

zbMATH Keywords

BCK-algebra

0 references

factor congruence

0 references

variety

0 references

reviewed by

Changchang Xi

0 references

MaRDI profile type

MaRDI publication profile

0 references

full work available at URL

https://doi.org/10.1007/s00500-008-0346-4

0 references

cites work

Free Łukasiewicz and hoop residuation algebras

0 references

On the structure of hoops

0 references

On the quasivariety of BCK-algebras and its subvarieties

0 references

Q3934450

0 references

Algebraic Analysis of Many Valued Logics

0 references

Q3912580

0 references

Decomposability of free Tarski algebras

0 references

Decomposability of free Łukasiewicz implication algebras

0 references

Boundary Harnack principle and Martin boundary for a uniform domain

0 references

Annihilators in BCK-Algebras

0 references

Q4165379

0 references

Super-Łukasiewicz implicational logics

0 references

Identifiers

zbMATH Open document ID

1172.06009

0 references

DOI

10.1007/s00500-008-0346-4

0 references

Mathematics Subject Classification ID

0 references

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:2391226

@@ Property / cites work @@
+Free Łukasiewicz and hoop residuation algebras
@@ Property / cites work: Free Łukasiewicz and hoop residuation algebras / rank @@
+Normal rank
@@ Property / cites work @@
+On the structure of hoops
@@ Property / cites work: On the structure of hoops / rank @@
+Normal rank
@@ Property / cites work @@
+On the quasivariety of BCK-algebras and its subvarieties
+Normal rank
@@ Property / cites work @@
+Q3934450
@@ Property / cites work: Q3934450 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic Analysis of Many Valued Logics
@@ Property / cites work: Algebraic Analysis of Many Valued Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q3912580
@@ Property / cites work: Q3912580 / rank @@
+Normal rank
@@ Property / cites work @@
+Decomposability of free Tarski algebras
@@ Property / cites work: Decomposability of free Tarski algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Decomposability of free Łukasiewicz implication algebras
+Normal rank
@@ Property / cites work @@
+Boundary Harnack principle and Martin boundary for a uniform domain
+Normal rank
@@ Property / cites work @@
+Annihilators in BCK-Algebras
@@ Property / cites work: Annihilators in BCK-Algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q4165379
@@ Property / cites work: Q4165379 / rank @@
+Normal rank
@@ Property / cites work @@
+Super-Łukasiewicz implicational logics
@@ Property / cites work: Super-Łukasiewicz implicational logics / rank @@
+Normal rank