| dc.creator | Castiglioni, José Luis | |
| dc.creator | San Martín, Hernán Javier | |
| dc.date | 2012-10-20 | |
| dc.date | 2022-11-23T12:16:14Z | |
| dc.date.accessioned | 2023-07-15T05:10:14Z | |
| dc.date.available | 2023-07-15T05:10:14Z | |
| dc.identifier | http://sedici.unlp.edu.ar/handle/10915/146211 | |
| dc.identifier | issn:0039-3215 | |
| dc.identifier | issn:1572-8730 | |
| dc.identifier.uri | https://repositorioslatinoamericanos.uchile.cl/handle/2250/7472346 | |
| dc.description | In this paper we shall prove that certain subvarieties of the variety of Salgebras (Heyting algebras with successor) has amalgamation. This result together with an appropriate version of Theorem 1 of [L. L. Maksimova, Craig’s theorem in superintuitionistic logics and amalgamable varieties of pseudo-boolean algebras, Algebra i Logika, 16(6):643-681, 1977] allows us to show interpolation in the calculus IPC S (n), associated with these varieties.
We use that every algebra in any of the varieties of S-algebras studied in this work has a canonical extension, to show completeness of the calculus IPC S (n) with respect to appropriate Kripke models. | |
| dc.description | Facultad de Ciencias Exactas | |
| dc.format | application/pdf | |
| dc.format | 1255-1269 | |
| 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 | Amalgamation property | |
| dc.subject | Craig’s interpolation theorem | |
| dc.subject | Heyting algebras with operators | |
| dc.subject | Extensions of intuitionistic propositional calculus | |
| dc.title | On some Classes of Heyting Algebras with Successor that have the Amalgamation Property | |
| dc.type | Articulo | |
| dc.type | Articulo | |
