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.