Subir material

Suba sus trabajos a SEDICI, para mejorar notoriamente su visibilidad e impacto

 

Mostrar el registro sencillo del ítem

dc.date.accessioned 2020-05-14T14:18:55Z
dc.date.available 2020-05-14T14:18:55Z
dc.date.issued 2012-06
dc.identifier.uri http://sedici.unlp.edu.ar/handle/10915/95933
dc.description.abstract 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. en
dc.format.extent 91-96 es
dc.language en es
dc.subject Successor operator es
dc.subject Finite model property es
dc.subject Heyting algebras es
dc.title The finite model property for the variety of Heyting algebras with successor en
dc.type Articulo es
sedici.identifier.uri https://ri.conicet.gov.ar/11336/9200 es
sedici.identifier.uri http://inmabb.criba.edu.ar/revuma/revuma.php?p=toc/vol53 es
sedici.identifier.other hdl:11336/9200 es
sedici.creator.person Castiglioni, José Luis es
sedici.creator.person San Martín, Hernán Javier es
sedici.subject.materias Matemática es
sedici.description.fulltext true es
mods.originInfo.place Facultad de Ciencias Exactas es
mods.originInfo.place Consejo Nacional de Investigaciones Científicas y Técnicas es
sedici.subtype Articulo es
sedici.rights.license Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0)
sedici.rights.uri http://creativecommons.org/licenses/by-nc-sa/4.0/
sedici.description.peerReview peer-review es
sedici.relation.journalTitle Revista de la Unión Matemática Argentina es
sedici.relation.journalVolumeAndIssue vol. 53, no. 2 es


Descargar archivos

Thumbnail
Documento
Descargar archivo (125.1Kb) - PDF
Icon
Enlace externo
Icon
Enlace externo

Este ítem aparece en la(s) siguiente(s) colección(ones)

Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0) Excepto donde se diga explícitamente, este item se publica bajo la siguiente licencia Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0)