IMAL 13325
INSTITUTO DE MATEMATICA APLICADA DEL LITORAL "DRA. ELEONOR HARBOURE"
Unidad Ejecutora - UE
congresos y reuniones científicas
Título:
Retículos residuados como semántica algebraica de la lógica paraconsistente de Nelson
Autor/es:
BUSANICHE, MANUELA
Lugar:
Tucumán
Reunión:
Congreso; Reunión Anual de la Unión Matemática Argentina; 2011
Institución organizadora:
Unión Matemática Argentina
Resumen:
En esta charla veremos como se puede enmarcar la lógica constructiva de Nelson con negación fuerte y ciertos sistemas de lógicas paraconsistentes con negación fuerte en el marco de las lógicas subestructurales.
