Title: Proofs of some Propositions of the semi-Intuitionistic Logic with Strong Negation,
Abstract: We offer the proofs that complete our article introducing the propositional
calculus called semi-intuitionistic logic with strong negation.