Servicios Personalizados
Revista
Articulo
Indicadores
- Citado por SciELO
Links relacionados
- Similares en SciELO
Compartir
Revista de la Unión Matemática Argentina
versión impresa ISSN 0041-6932
Resumen
RUEDA, Laura A.. The subvariety of Q-Heyting algebras generated by chains. Rev. Unión Mat. Argent. [online]. 2009, vol.50, n.1, pp.47-59. ISSN 0041-6932.
The variety of Heyting algebras with a quantifier [14] corresponds to the algebraic study of the modal intuitionistic propositional calculus without the necessity operator. This paper is concerned with the subvariety of generated by chains. We prove that this subvariety is characterized within by the equations and . We investigate free objects in .
· texto en Inglés · Inglés ( pdf )