Artículo
The finite model property for the variety of Heyting algebras with successor
Fecha de publicación:
06/2012
Editorial:
Unión Matemática Argentina
Revista:
Revista de la Unión Matemática Argentina
ISSN:
0041-6932
e-ISSN:
1669-9637
Idioma:
Inglés
Tipo de recurso:
Artículo publicado
Clasificación temática:
Resumen
The finite model property of the variety of S-algebras was proved by X. Caicedo using Kripke model techniques of the associated calculus. A more algebraic proof, but still strongly based on Kripke model ideas, was given by Muravitskii. In this article we give a purely algebraic proof for the finite model property which is strongly based on the fact that for every element x in a S-algebra the interval [x, S(x)] is a Boolean lattice.
Palabras clave:
Successor Operator
,
Finite Model Property
,
Heyting Algebras
Archivos asociados
Licencia
Identificadores
Colecciones
Articulos(CCT - LA PLATA)
Articulos de CTRO.CIENTIFICO TECNOL.CONICET - LA PLATA
Articulos de CTRO.CIENTIFICO TECNOL.CONICET - LA PLATA
Citación
Castiglioni, José Luis; San Martin, Hernan Javier; The finite model property for the variety of Heyting algebras with successor; Unión Matemática Argentina; Revista de la Unión Matemática Argentina; 53; 2; 6-2012; 91-96
Compartir