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