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: | Castiglioni, José Luis, San Martín, Hernán Javier |
---|---|
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: |
Ejemplares similares
-
On some Classes of Heyting Algebras with Successor that have the Amalgamation Property
por: Castiglioni, José Luis, et al.
Publicado: (2012) -
On Some Compatible Operations on Heyting Algebras
por: Ertola Biraben, Rodolfo Cristian, et al.
Publicado: (2011) -
Frontal operators in weak Heyting algebras
por: Celani, Sergio A., et al.
Publicado: (2012) -
Compatible operations in some subvarieties of the variety of weak Heyting algebras
por: San Martín, Hernán Javier
Publicado: (2013) -
Subvariedades de álgebras de semi-Heyting
por: Cornejo, Juan Manuel
Publicado: (2011)