The finite model property for the variety of Heyting algebras with successor. J.L.

J.L. Castiglioni ^[1] ; H.J. San Martín ^[1]
1. [1] UNLP
Localización: Revista de la Unión Matemática Argentina, ISSN 0041-6932, ISSN-e 1669-9637, Vol. 53, Nº. 2, 2012, págs. 91-96
Idioma: inglés
Enlaces
- Texto completo (pdf)
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.