info:eu-repo/semantics/publishedVersion

Semi-Intuitionistic Logic with Strong Negation

Date
2019
Registration 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
Institutions
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.
Subjects

Show full item record