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...

Descripción completa

Guardado en:
Detalles Bibliográficos
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:
id I19-R120-10915-95933
record_format dspace
institution Universidad Nacional de La Plata
institution_str I-19
repository_str R-120
collection SEDICI (UNLP)
language Inglés
topic Matemática
Successor operator
Finite model property
Heyting algebras
spellingShingle Matemática
Successor operator
Finite model property
Heyting algebras
Castiglioni, José Luis
San Martín, Hernán Javier
The finite model property for the variety of Heyting algebras with successor
topic_facet Matemática
Successor operator
Finite model property
Heyting algebras
description 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.
format Articulo
Articulo
author Castiglioni, José Luis
San Martín, Hernán Javier
author_facet Castiglioni, José Luis
San Martín, Hernán Javier
author_sort Castiglioni, José Luis
title The finite model property for the variety of Heyting algebras with successor
title_short The finite model property for the variety of Heyting algebras with successor
title_full The finite model property for the variety of Heyting algebras with successor
title_fullStr The finite model property for the variety of Heyting algebras with successor
title_full_unstemmed The finite model property for the variety of Heyting algebras with successor
title_sort finite model property for the variety of heyting algebras with successor
publishDate 2012
url 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
work_keys_str_mv AT castiglionijoseluis thefinitemodelpropertyforthevarietyofheytingalgebraswithsuccessor
AT sanmartinhernanjavier thefinitemodelpropertyforthevarietyofheytingalgebraswithsuccessor
AT castiglionijoseluis finitemodelpropertyforthevarietyofheytingalgebraswithsuccessor
AT sanmartinhernanjavier finitemodelpropertyforthevarietyofheytingalgebraswithsuccessor
bdutipo_str Repositorios
_version_ 1764820493385334784