On some classes of Heyting algebras with successor that have the amalgamation property
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-...
| Autores: | , |
|---|---|
| Formato: | artículo |
| Estado: | Versión publicada |
| Fecha de publicación: | 2012 |
| País: | Argentina |
| Recursos: | Consejo Nacional de Investigaciones Científicas y Técnicas |
| Repositorio: | CONICET Digital (CONICET) |
| Idioma: | inglés |
| OAI Identifier: | oai:ri.conicet.gov.ar:11336/95178 |
| Acesso em linha: | http://hdl.handle.net/11336/95178 |
| Access Level: | acceso abierto |
| Palavra-chave: | AMALGAMATION PROPERTY CRAIG'S INTERPOLATION THEOREM EXTENSIONS OF INTUITIONISTIC PROPOSITIONAL CALCULUS HEYTING ALGEBRAS WITH OPERATORS https://purl.org/becyt/ford/1.1 https://purl.org/becyt/ford/1 |
| Resumo: | 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. |
|---|