Mostrar el registro sencillo del ítem

dc.contributor.author
Abad, Manuel  
dc.contributor.author
Díaz Varela, José Patricio  
dc.date.available
2019-07-16T17:56:02Z  
dc.date.issued
2008-07-29  
dc.identifier.citation
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.issn
1432-7643  
dc.identifier.uri
http://hdl.handle.net/11336/79644  
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.format
application/pdf  
dc.language.iso
eng  
dc.publisher
Springer Verlag Berlín  
dc.rights
info:eu-repo/semantics/openAccess  
dc.rights.uri
https://creativecommons.org/licenses/by-nc-sa/2.5/ar/  
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.subject.classification
Matemática Aplicada  
dc.subject.classification
Matemáticas  
dc.subject.classification
CIENCIAS NATURALES Y EXACTAS  
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  
dc.date.updated
2019-07-12T17:35:59Z  
dc.identifier.eissn
1433-7479  
dc.journal.volume
13  
dc.journal.number
10  
dc.journal.pagination
1007-1012  
dc.journal.pais
Alemania  
dc.journal.ciudad
Berlín  
dc.description.fil
Fil: Abad, Manuel. Universidad Nacional del Sur. Departamento de Matemática; Argentina  
dc.description.fil
Fil: Díaz Varela, José Patricio. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca. Instituto de Matemática Bahía Blanca. Universidad Nacional del Sur. Departamento de Matemática. Instituto de Matemática Bahía Blanca; Argentina  
dc.journal.title
Soft Computing  
dc.relation.alternativeid
info:eu-repo/semantics/altIdentifier/url/https://link.springer.com/article/10.1007/s00500-008-0346-4  
dc.relation.alternativeid
info:eu-repo/semantics/altIdentifier/doi/http://dx.doi.org/10.1007/s00500-008-0346-4  

Archivos asociados
Thumbnail
 
Tamaño: 183.3Kb
Formato: PDF
.