Mostrar el registro sencillo del ítem

dc.contributor.author
Díaz Varela, José Patricio  
dc.date.available
2020-01-21T00:20:43Z  
dc.date.issued
2008-06  
dc.identifier.citation
Díaz Varela, José Patricio; Free Łukasiewicz implication algebras; Springer; Archive for Mathematical Logic - (Print); 47; 1; 6-2008; 25-33  
dc.identifier.issn
0933-5846  
dc.identifier.uri
http://hdl.handle.net/11336/95369  
dc.description.abstract
Łukasiewicz implication algebras are the {→,1}-subreducts of MV- algebras. They are the algebraic counterpart of Super-Łukasiewicz Implicational Logics investigated in Komori (Nogoya Math J 72:127-133, 1978). In this paper we give a description of free Łukasiewicz implication algebras in the context of McNaughton functions. More precisely, we show that the |X|-free Łukasiewicz implication algebra is isomorphic to ∪x∈X} [xθ) for a certain congruence θ over the |X|-free MV-algebra. As corollary we describe the free algebras in all subvarieties of Łukasiewicz implication algebras.  
dc.format
application/pdf  
dc.language.iso
eng  
dc.publisher
Springer  
dc.rights
info:eu-repo/semantics/openAccess  
dc.rights.uri
https://creativecommons.org/licenses/by-nc-sa/2.5/ar/  
dc.subject
ŁUKASIEWICZ IMPLICATION ALGEBRAS  
dc.subject
FREE ALGEBRAS  
dc.subject
MCNAUGHTON FUNCTIONS  
dc.subject
MV-ALGEBRAS  
dc.subject
WAJSBERG ALGEBRAS  
dc.subject.classification
Matemática Aplicada  
dc.subject.classification
Matemáticas  
dc.subject.classification
CIENCIAS NATURALES Y EXACTAS  
dc.title
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:03Z  
dc.journal.volume
47  
dc.journal.number
1  
dc.journal.pagination
25-33  
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.journal.title
Archive for Mathematical Logic - (Print)  
dc.relation.alternativeid
info:eu-repo/semantics/altIdentifier/doi/https://doi.org/10.1007/s00153-008-0067-5  
dc.relation.alternativeid
info:eu-repo/semantics/altIdentifier/url/https://link.springer.com/article/10.1007/s00153-008-0067-5#article-info  

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