INVESTIGADORES
SAN MARTIN Hernan Javier
congresos y reuniones científicas
Título:
Compatible operations in Heyting algebras
Autor/es:
ERTOLA RODOLFO; SAN MARTÍN HERNÁN JAVIER
Lugar:
Bahía Blanca
Reunión:
Congreso; X Congreso Dr. Antonio Monteiro; 2009
Institución organizadora:
Universidad Nacional del Sur
Resumen:
Se estudia un esquema para operadores compatibles en el contexto de un álgebra de Heyting. Dicho esquema contiene como caso particular al sucesor. Se analizan en particular aspectos lógicos de los mismos.