INVESTIGADORES
SAN MARTIN Hernan Javier
congresos y reuniones científicas
Título:
On some classes of Heyting algebras with successor that have the amalgamation property
Autor/es:
SAN MARTÍN HERNÁN JAVIER; CASTIGLIONI JOSÉ LUIS
Lugar:
Petrópolis
Reunión:
Congreso; XVI EBL (Brazilian Logic Conference); 2011
Institución organizadora:
LNCC (Laboratorio Nacional de Computación Científica)
Resumen:
En este trabajo estudiamos ciertas subvariedades de la variedad de álgebras de Heyting con sucesor. Probamos que las mismas tienen la propiedad de extensión canónica y la propiedad de amalgamación. Finalmente estudiamos la contraparte lógica de estas variedades, probando un teorema de completud en términos de modelos de Kripke convenientes y también el hecho de que vale la propiedad de interpolación.
