INVESTIGADORES
SAN MARTIN Hernan Javier
congresos y reuniones científicas
Título:
Sobre un ejemplo de una extensión del fragmento implicativo del cálculo intuicionista que no es fragmento implicativo de una extensión del mismo
Autor/es:
SERGIO CELANI; JOSÉ LUIS CASTIGLIONI; HERNÁN JAVIER SAN MARTÍN
Reunión:
Congreso; VirtUMA2020; 2020
Institución organizadora:
UMA
Resumen:
En esta charla se estudian algunos aspectos complementarios de lo estudiado en la charla ?Sobre la variedad de álgebras de Hilbert generada por la clase de las order algebras? (expuesta en VirtUMA2020).
