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: | , |
|---|---|
| Tipo de recurso: | artículo |
| Estado: | Versión publicada |
| Fecha de publicación: | 2012 |
| País: | Argentina |
| Institución: | Universidad Nacional de La Plata |
| Repositorio: | SEDICI (UNLP) |
| Idioma: | inglés |
| OAI Identifier: | oai:sedici.unlp.edu.ar:10915/146211 |
| Acceso en línea: | http://sedici.unlp.edu.ar/handle/10915/146211 |
| Access Level: | acceso abierto |
| Palabra clave: | Matemática Amalgamation property Craig’s interpolation theorem Heyting algebras with operators Extensions of intuitionistic propositional calculus |
| Sumario: | 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. |
|---|