Proofs of some Propositions of the semi-Intuitionistic Logic with Strong Negation
arXiv:1708.09448
Abstract
We offer the proofs that complete our article introducing the propositional calculus called semi-intuitionistic logic with strong negation.
Contains proofs omitted, because of their extention, from an article published in Studia Logica