Semi-Heyting Algebras Term-equivalent to Gödel Algebras

dc.creatorAbad, Manuel
dc.creatorCornejo, Juan Manuel
dc.creatorDíaz Varela, José Patricio
dc.date.accessioned2017-01-24T20:25:37Z
dc.date.accessioned2018-11-06T14:20:34Z
dc.date.available2017-01-24T20:25:37Z
dc.date.available2018-11-06T14:20:34Z
dc.date.created2017-01-24T20:25:37Z
dc.date.issued2013-07
dc.identifierAbad, 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.identifier0167-8094
dc.identifierhttp://hdl.handle.net/11336/11864
dc.identifier.urihttp://repositorioslatinoamericanos.uchile.cl/handle/2250/1885394
dc.description.abstractIn 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.languageeng
dc.publisherSpringer
dc.relationinfo:eu-repo/semantics/altIdentifier/url/http://link.springer.com/article/10.1007%2Fs11083-012-9266-0
dc.relationinfo:eu-repo/semantics/altIdentifier/doi/http://dx.doi.org/10.1007/s11083-012-9266-0
dc.rightshttps://creativecommons.org/licenses/by-nc-sa/2.5/ar/
dc.rightsinfo:eu-repo/semantics/restrictedAccess
dc.subjectHEYTING ALGEBRA
dc.subjectLINEAR HEYTING ALGEBRA
dc.subjectSEMI-HEYTING ALGEBRA
dc.subjectTERM-EQUIVALENT VARIETIES
dc.titleSemi-Heyting Algebras Term-equivalent to Gödel Algebras
dc.typeArtículos de revistas
dc.typeArtículos de revistas
dc.typeArtículos de revistas


Este ítem pertenece a la siguiente institución