INMABB 05456
INSTITUTO DE MATEMATICA BAHIA BLANCA
Unidad Ejecutora - UE
congresos y reuniones científicas
Título:
Semi-Intuitionistic Logic with Strong Negation
Autor/es:
JUAN MANUEL CORNEJO; IGNACIO DARIO VIGLIZZO
Lugar:
Bahía Blanca
Reunión:
Congreso; XIV Congreso Dr. Antonio Monteiro; 2017
Institución organizadora:
Universidad Nacional del Sur
Resumen:
Motivated by the definition of semi-Nelson algebras, a propositional calculus %$SNlog$ 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.
