Mostrar el registro sencillo del ítem

dc.contributor.author
Abad, Manuel
dc.contributor.author
Cornejo, Juan Manuel
dc.contributor.author
Díaz Varela, José Patricio
dc.date.available
2017-01-24T20:25:37Z
dc.date.issued
2013-07
dc.identifier.citation
Abad, Manuel; Cornejo, Juan Manuel; Díaz Varela, José Patricio; Semi-Heyting Algebras Term-equivalent to Gödel Algebras; Springer; Order; 30; 2; 7-2013; 625-642
dc.identifier.issn
0167-8094
dc.identifier.uri
http://hdl.handle.net/11336/11864
dc.description.abstract
In this paper we investigate those subvarieties of the variety SH of semi-Heyting algebras which are term-equivalent to the variety LH of Gödel algebras (linear Heyting algebras). We prove that the only other subvarieties with this property are the variety LCom of commutative semi-Heyting algebras and the variety L∨ generated by the chains in which a < b implies a → b = b. We also study the variety C generated within SH by LH, L∨ and LCom. In particular we prove that C is locally finite and we obtain a construction of the finitely generated free algebra in C.
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.subject
Heyting Algebra
dc.subject
Linear Heyting Algebra
dc.subject
Semi-Heyting Algebra
dc.subject
Term-Equivalent Varieties
dc.subject.classification
Matemática Pura
dc.subject.classification
Matemáticas
dc.subject.classification
CIENCIAS NATURALES Y EXACTAS
dc.title
Semi-Heyting Algebras Term-equivalent to Gödel 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
2017-01-24T18:31:01Z
dc.journal.volume
30
dc.journal.number
2
dc.journal.pagination
625-642
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: Cornejo, Juan Manuel. 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: 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
Order
dc.relation.alternativeid
info:eu-repo/semantics/altIdentifier/url/http://link.springer.com/article/10.1007%2Fs11083-012-9266-0
dc.relation.alternativeid
info:eu-repo/semantics/altIdentifier/doi/http://dx.doi.org/10.1007/s11083-012-9266-0


Archivos asociados

Documento no disponible

Comunidades y colecciones

Mostrar el registro sencillo del ítem