Classical and Constructive Propositional Subsystems of NDK