On some classes of Heyting algebras with successor that have the amalgamation property

dc.creatorCastiglioni, José Luis
dc.creatorSan Martín, Hernán Javier
dc.date.accessioned2020-01-20T14:17:51Z
dc.date.accessioned2022-10-15T01:15:46Z
dc.date.available2020-01-20T14:17:51Z
dc.date.available2022-10-15T01:15:46Z
dc.date.created2020-01-20T14:17:51Z
dc.date.issued2012-11
dc.identifierCastiglioni, José Luis; San Martín, Hernán Javier; On some classes of Heyting algebras with successor that have the amalgamation property; Springer; Studia Logica; 100; 6; 11-2012; 1255-1269
dc.identifier0039-3215
dc.identifierhttp://hdl.handle.net/11336/95178
dc.identifierCONICET Digital
dc.identifierCONICET
dc.identifier.urihttps://repositorioslatinoamericanos.uchile.cl/handle/2250/4328946
dc.description.abstractIn 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.languageeng
dc.publisherSpringer
dc.relationinfo:eu-repo/semantics/altIdentifier/url/https://link.springer.com/article/10.1007/s11225-012-9451-6
dc.relationinfo:eu-repo/semantics/altIdentifier/doi/http://dx.doi.org/10.1007/s11225-012-9451-6
dc.rightshttps://creativecommons.org/licenses/by-nc-sa/2.5/ar/
dc.rightsinfo:eu-repo/semantics/restrictedAccess
dc.subjectAMALGAMATION PROPERTY
dc.subjectCRAIG'S INTERPOLATION THEOREM
dc.subjectEXTENSIONS OF INTUITIONISTIC PROPOSITIONAL CALCULUS
dc.subjectHEYTING ALGEBRAS WITH OPERATORS
dc.titleOn some classes of Heyting algebras with successor that have the amalgamation property
dc.typeinfo:eu-repo/semantics/article
dc.typeinfo:ar-repo/semantics/artículo
dc.typeinfo:eu-repo/semantics/publishedVersion


Este ítem pertenece a la siguiente institución