INVESTIGADORES
CASTIGLIONI JosÉ Luis
congresos y reuniones científicas
Título:
On some classes of Heyting algebras with successor that have the amalgamation property
Autor/es:
JL. CASTIGLIONI; H.J. SAN MARTÍN
Lugar:
Petrópolis
Reunión:
Congreso; 16th Brazilian Logic Conference (XIV EBL); 2011
Institución organizadora:
Laboratório Nacional de Computaçao Científica
Resumen:
In this work we shall prove that certain subvarieties of the variety of S-algebras (Heyting algebras with successor) has amalgamation. This result together with an appropriate version of Craigs interpolation theorem allows us to show interpolation in the calculus IPCS(n), associated to these varieties.Finally, we use that every algebra in any of the varieties of S-algebras studied in this work has a canonical model, to show completeness of the calculus IPCS(n) with respect to appropriate Kripke models.IPCS(n), associated to these varieties.Finally, we use that every algebra in any of the varieties of S-algebras studied in this work has a canonical model, to show completeness of the calculus IPCS(n) with respect to appropriate Kripke models.
