INVESTIGADORES
CORNEJO Juan Manuel
congresos y reuniones científicas
Título:
Una presentación axiomática alternativa de las álgebras de Nelson
Autor/es:
JUAN MANUEL CORNEJO; ANDRÉS GALLARDO
Lugar:
Bahía Blanca
Reunión:
Congreso; XVI Congreso Dr. Antonio Monteiro; 2021
Institución organizadora:
Universidad Nacional del Sur
Resumen:
Un Álgebra de Nelson se define en términos del lenguaje ∧, ∨, →, ∼, 1. En 1962, Diana Brignole enunciauna lista de identidades con el objetivo de encontrar una axiomática equivalente a la de las álgebras de Nelson utilizando como lenguaje -→, ∧, 0 (donde ∼ 1 = 0) resolviendo así un problema propuesto por Antonio Monteiro. En este trabajo verificamos la conjetura de Brignole y mostramos la dependencia e independencia de axiomas de su listado.
