| dc.creator | Castiglioni, José Luis | |
| dc.creator | San Martín, Hernán Javier | |
| dc.date | 2012-06 | |
| dc.date | 2020-05-14T14:18:55Z | |
| dc.date.accessioned | 2023-07-14T20:12:16Z | |
| dc.date.available | 2023-07-14T20:12:16Z | |
| dc.identifier | http://sedici.unlp.edu.ar/handle/10915/95933 | |
| dc.identifier | https://ri.conicet.gov.ar/11336/9200 | |
| dc.identifier | http://inmabb.criba.edu.ar/revuma/revuma.php?p=toc/vol53 | |
| dc.identifier.uri | https://repositorioslatinoamericanos.uchile.cl/handle/2250/7438309 | |
| dc.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. | |
| dc.description | Facultad de Ciencias Exactas | |
| dc.description | Consejo Nacional de Investigaciones Científicas y Técnicas | |
| dc.format | application/pdf | |
| dc.format | 91-96 | |
| dc.language | en | |
| dc.rights | http://creativecommons.org/licenses/by-nc-sa/4.0/ | |
| dc.rights | Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0) | |
| dc.subject | Matemática | |
| dc.subject | Successor operator | |
| dc.subject | Finite model property | |
| dc.subject | Heyting algebras | |
| dc.title | The finite model property for the variety of Heyting algebras with successor | |
| dc.type | Articulo | |
| dc.type | Articulo | |
