Artículos de revistas
Semi-intuitionistic Logic with Strong Negation
Fecha
2018-04Registro en:
Cornejo, Juan Manuel; Viglizzo, Ignacio Dario; Semi-intuitionistic Logic with Strong Negation; Springer; Studia Logica; 106; 2; 4-2018; 281-293
0039-3215
CONICET Digital
CONICET
Autor
Cornejo, Juan Manuel
Viglizzo, Ignacio Dario
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.