Evento
Semi-Intuitionistic Logic with Strong Negation
Tipo del evento:
Congreso
Nombre del evento:
XIV Congreso Dr. Antonio Monteiro
Fecha del evento:
31/05/2017
Institución Organizadora:
Universidad Nacional del Sur. Departamento de Matemática. Instituto de Matemática de Bahía Blanca;
Título de la revista:
Actas del Congreso XIV Dr. Antonio A. R. Monteiro
Editorial:
Universidad Nacional del Sur. Departamento de Matemática. Instituto de Matemática de Bahía Blanca
ISSN:
0327-9170
Idioma:
Español
Clasificación temática:
Resumen
Motivated by the definition of semi-Nelson algebras, a propositional calculus called semi-intuitionistic logic with strong negation is introduced and proved to be complete with respect to that class of algebras. An axiomatic extension is proved to have as algebraic semantics the class of Nelson algebras.
Archivos asociados
Licencia
Identificadores
Colecciones
Eventos(INMABB)
Eventos de INST.DE MATEMATICA BAHIA BLANCA (I)
Eventos de INST.DE MATEMATICA BAHIA BLANCA (I)
Citación
Semi-Intuitionistic Logic with Strong Negation; XIV Congreso Dr. Antonio Monteiro; Bahía Blanca; Argentina; 2017; 1-11
Compartir