dc.creator | Abad, Manuel | |
dc.creator | Díaz Varela, José Patricio | |
dc.date.accessioned | 2019-07-16T17:56:02Z | |
dc.date.accessioned | 2022-10-15T05:07:47Z | |
dc.date.available | 2019-07-16T17:56:02Z | |
dc.date.available | 2022-10-15T05:07:47Z | |
dc.date.created | 2019-07-16T17:56:02Z | |
dc.date.issued | 2008-07-29 | |
dc.identifier | Abad, Manuel; Díaz Varela, José Patricio; Factor congruences in BCK-algebras; Springer Verlag Berlín; Soft Computing; 13; 10; 29-7-2008; 1007-1012 | |
dc.identifier | 1432-7643 | |
dc.identifier | http://hdl.handle.net/11336/79644 | |
dc.identifier | 1433-7479 | |
dc.identifier | CONICET Digital | |
dc.identifier | CONICET | |
dc.identifier.uri | https://repositorioslatinoamericanos.uchile.cl/handle/2250/4348109 | |
dc.description.abstract | In this paper, we characterize factor congruences in the quasivariety of BCK-algebras. As an application we prove that the free algebra over an infinite set of generators is indecomposable in any subvariety of BCK-algebras. We also study the decomposability of free algebras in the variety of hoop residuation algebras (HBCK) and its subvarieties. We prove that free algebras in a non k-potent subvariety of HBCK are indecomposable while finitely generated free algebras in k-potent subvarieties have a unique non-trivial decomposition into a direct product of two factors, and one of them is the two-element implication algebra. | |
dc.language | eng | |
dc.publisher | Springer Verlag Berlín | |
dc.relation | info:eu-repo/semantics/altIdentifier/url/https://link.springer.com/article/10.1007/s00500-008-0346-4 | |
dc.relation | info:eu-repo/semantics/altIdentifier/doi/http://dx.doi.org/10.1007/s00500-008-0346-4 | |
dc.rights | https://creativecommons.org/licenses/by-nc-sa/2.5/ar/ | |
dc.rights | info:eu-repo/semantics/restrictedAccess | |
dc.subject | BCK-ALGEBRAS | |
dc.subject | DECOMPOSABILITY | |
dc.subject | FACTOR CONGRUENCES | |
dc.subject | FREE ALGEBRAS | |
dc.subject | HOOPS | |
dc.subject | IMPLICATIVE FILTERS | |
dc.subject | POCRIMS | |
dc.title | Factor congruences in BCK-algebras | |
dc.type | info:eu-repo/semantics/article | |
dc.type | info:ar-repo/semantics/artículo | |
dc.type | info:eu-repo/semantics/publishedVersion | |