INVESTIGADORES
SAN MARTIN Hernan Javier
congresos y reuniones científicas
Título:
Non-compatible operations in Heyting algebras
Autor/es:
ERTOLA RODOLFO ; GALLI ADRIANA; SAN MARTÍN HERNÁN JAVIER
Lugar:
Lisboa
Reunión:
Congreso; World Congress and School on Universal Logic III; 2010
Institución organizadora:
Congreso
Resumen:
En este trabajo se estudian esquemas de ecuaciones que definen unívocamente operadores no compatibles sobre ciertas álgebras de Heyting. Asimismo se abordan aspectos lógicos de los mismos.