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

Autores
Castiglioni, José Luis; San Martín, Hernán Javier
Año de publicación
2012
Idioma
inglés
Tipo de recurso
artículo
Estado
versión publicada
Descripción
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.
Facultad de Ciencias Exactas
Consejo Nacional de Investigaciones Científicas y Técnicas
Materia
Matemática
Successor operator
Finite model property
Heyting algebras
Nivel de accesibilidad
acceso abierto
Condiciones de uso
http://creativecommons.org/licenses/by-nc-sa/4.0/
Repositorio
SEDICI (UNLP)
Institución
Universidad Nacional de La Plata
OAI Identificador
oai:sedici.unlp.edu.ar:10915/95933

id SEDICI_eead4055451750c59988e7c7b688d27a
oai_identifier_str oai:sedici.unlp.edu.ar:10915/95933
network_acronym_str SEDICI
repository_id_str 1329
network_name_str SEDICI (UNLP)
spelling The finite model property for the variety of Heyting algebras with successorCastiglioni, José LuisSan Martín, Hernán JavierMatemáticaSuccessor operatorFinite model propertyHeyting algebrasThe 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.Facultad de Ciencias ExactasConsejo Nacional de Investigaciones Científicas y Técnicas2012-06info:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersionArticulohttp://purl.org/coar/resource_type/c_6501info:ar-repo/semantics/articuloapplication/pdf91-96http://sedici.unlp.edu.ar/handle/10915/95933enginfo:eu-repo/semantics/altIdentifier/url/https://ri.conicet.gov.ar/11336/9200info:eu-repo/semantics/altIdentifier/url/http://inmabb.criba.edu.ar/revuma/revuma.php?p=toc/vol53info:eu-repo/semantics/altIdentifier/hdl/11336/9200info:eu-repo/semantics/openAccesshttp://creativecommons.org/licenses/by-nc-sa/4.0/Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0)reponame:SEDICI (UNLP)instname:Universidad Nacional de La Platainstacron:UNLP2025-09-29T11:20:35Zoai:sedici.unlp.edu.ar:10915/95933Institucionalhttp://sedici.unlp.edu.ar/Universidad públicaNo correspondehttp://sedici.unlp.edu.ar/oai/snrdalira@sedici.unlp.edu.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:13292025-09-29 11:20:36.099SEDICI (UNLP) - Universidad Nacional de La Platafalse
dc.title.none.fl_str_mv The finite model property for the variety of Heyting algebras with successor
title The finite model property for the variety of Heyting algebras with successor
spellingShingle The finite model property for the variety of Heyting algebras with successor
Castiglioni, José Luis
Matemática
Successor operator
Finite model property
Heyting algebras
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 The finite model property for the variety of Heyting algebras with successor
dc.creator.none.fl_str_mv Castiglioni, José Luis
San Martín, Hernán Javier
author Castiglioni, José Luis
author_facet Castiglioni, José Luis
San Martín, Hernán Javier
author_role author
author2 San Martín, Hernán Javier
author2_role author
dc.subject.none.fl_str_mv Matemática
Successor operator
Finite model property
Heyting algebras
topic Matemática
Successor operator
Finite model property
Heyting algebras
dc.description.none.fl_txt_mv 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.
Facultad de Ciencias Exactas
Consejo Nacional de Investigaciones Científicas y Técnicas
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.
publishDate 2012
dc.date.none.fl_str_mv 2012-06
dc.type.none.fl_str_mv info:eu-repo/semantics/article
info:eu-repo/semantics/publishedVersion
Articulo
http://purl.org/coar/resource_type/c_6501
info:ar-repo/semantics/articulo
format article
status_str publishedVersion
dc.identifier.none.fl_str_mv http://sedici.unlp.edu.ar/handle/10915/95933
url http://sedici.unlp.edu.ar/handle/10915/95933
dc.language.none.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv info:eu-repo/semantics/altIdentifier/url/https://ri.conicet.gov.ar/11336/9200
info:eu-repo/semantics/altIdentifier/url/http://inmabb.criba.edu.ar/revuma/revuma.php?p=toc/vol53
info:eu-repo/semantics/altIdentifier/hdl/11336/9200
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
http://creativecommons.org/licenses/by-nc-sa/4.0/
Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0)
eu_rights_str_mv openAccess
rights_invalid_str_mv http://creativecommons.org/licenses/by-nc-sa/4.0/
Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0)
dc.format.none.fl_str_mv application/pdf
91-96
dc.source.none.fl_str_mv reponame:SEDICI (UNLP)
instname:Universidad Nacional de La Plata
instacron:UNLP
reponame_str SEDICI (UNLP)
collection SEDICI (UNLP)
instname_str Universidad Nacional de La Plata
instacron_str UNLP
institution UNLP
repository.name.fl_str_mv SEDICI (UNLP) - Universidad Nacional de La Plata
repository.mail.fl_str_mv alira@sedici.unlp.edu.ar
_version_ 1844616080547381248
score 13.070432