info:eu-repo/semantics/publishedVersion
Semi-Intuitionistic Logic with Strong Negation
Date
2019Registration in:
Semi-Intuitionistic Logic with Strong Negation; XIV Congreso Dr. Antonio Monteiro; Bahía Blanca; Argentina; 2017; 1-11
0327-9170
CONICET Digital
CONICET
Author
Cornejo, Juan Manuel
Viglizzo, Ignacio Dario
Abstract
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.