Constructive propositional calculus with strong negation

A new derivation algorithm in constructive propositional calculus