INVESTIGADORES
CASTIGLIONI JosÉ Luis
congresos y reuniones científicas
Título:
On the dual of intuitionistic negation,
Autor/es:
JL. CASTIGLIONI; R. ERTOLA
Lugar:
Petrópolis
Reunión:
Congreso; 16th Brazilian Logic Conference (XIV EBL); 2011
Institución organizadora:
Laboratorio Nacional de Computaçao Científica
Resumen:
We show that a logic for the dual of intuitionistic negation which we call DI is boldly paraconsistent. In order to do that we prove both the nite model property and an algebraic Glivenko theorem for DI.DI is boldly paraconsistent. In order to do that we prove both the nite model property and an algebraic Glivenko theorem for DI.
