info:eu-repo/semantics/publishedVersion
Semi-Intuitionistic Logic with Strong Negation
Fecha
2019Registro en:
Semi-Intuitionistic Logic with Strong Negation; XIV Congreso Dr. Antonio Monteiro; Bahía Blanca; Argentina; 2017; 1-11
0327-9170
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.