Mostrar el registro sencillo del ítem

dc.contributor.author
Díaz Varela, José Patricio  
dc.contributor.author
Torrens Torrell, Antoni  
dc.date.available
2020-01-09T20:59:52Z  
dc.date.issued
2006-11  
dc.identifier.citation
Díaz Varela, José Patricio; Torrens Torrell, Antoni; Decomposability of free Łukasiewicz implication algebras; Springer; Archive for Mathematical Logic - (Print); 45; 8; 11-2006; 1011-1020  
dc.identifier.issn
0933-5846  
dc.identifier.uri
http://hdl.handle.net/11336/94255  
dc.description.abstract
Łukasiewicz implication algebras are {→,1}-subreducts of Wajsberg algebras (MV-algebras). They are the algebraic counterpart of Super-Łukasiewicz Implicational logics investigated in Komori, Nogoya Math J 72:127-133, 1978. The aim of this paper is to study the direct decomposability of free Łukasiewicz implication algebras. We show that freely generated algebras are directly indecomposable. We also study the direct decomposability in free algebras of all its proper subvarieties and show that infinitely freely generated algebras are indecomposable, while finitely free generated algebras can be only decomposed into a direct product of two factors, one of which is the two-element implication algebra.  
dc.format
application/pdf  
dc.language.iso
eng  
dc.publisher
Springer  
dc.rights
info:eu-repo/semantics/restrictedAccess  
dc.rights.uri
https://creativecommons.org/licenses/by-nc-sa/2.5/ar/  
dc.rights.uri
https://creativecommons.org/licenses/by-nc-sa/2.5/ar/  
dc.subject
BCK-ALGEBRAS  
dc.subject
FACTOR CONGRUENCES  
dc.subject
FREE ALGEBRAS  
dc.subject
IMPLICATIVE FILTERS  
dc.subject
MV-ALGEBRAS  
dc.subject.classification
Matemática Aplicada  
dc.subject.classification
Matemáticas  
dc.subject.classification
CIENCIAS NATURALES Y EXACTAS  
dc.title
Decomposability of free Łukasiewicz implication 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-12-18T13:58:17Z  
dc.identifier.eissn
1432-0665  
dc.journal.volume
45  
dc.journal.number
8  
dc.journal.pagination
1011-1020  
dc.journal.pais
Alemania  
dc.journal.ciudad
Berlín  
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.description.fil
Fil: Torrens Torrell, Antoni. Universidad de Barcelona; España  
dc.journal.title
Archive for Mathematical Logic - (Print)  
dc.relation.alternativeid
info:eu-repo/semantics/altIdentifier/url/https://link.springer.com/article/10.1007/s00153-006-0023-1  
dc.relation.alternativeid
info:eu-repo/semantics/altIdentifier/doi/http://dx.doi.org/10.1007/s00153-006-0023-1  

Archivos asociados
Tamaño: 470.6Kb
Formato: PDF
.