The finite model property for the variety of Heyting algebras with successor
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...
Guardado en:
Autores principales: | , |
---|---|
Formato: | Articulo |
Lenguaje: | Inglés |
Publicado: |
2012
|
Materias: | |
Acceso en línea: | http://sedici.unlp.edu.ar/handle/10915/95933 https://ri.conicet.gov.ar/11336/9200 http://inmabb.criba.edu.ar/revuma/revuma.php?p=toc/vol53 |
Aporte de: |
Sumario: | 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. |
---|