  Validity with respect to every choice of an atomic system can be viewed as a generalized notion of logical validity. In fact, if we consider the standard reductions of intuitionistic logic, then all derivations in intuitionistic logic are valid independent of the atomic system considered. This is semantical correctness. We may ask if the converse holds, viz. whether, given that a derivation is valid for every atomic system, there is a corresponding derivation in intuitionistic logic. That intuitionistic logic is complete in this sense is known as Prawitz’s conjecture (see Prawitz, 1973; Prawitz, 2013). However, no satisfactory proof of it has been given. There are considerable doubts concerning the validity of this conjecture for systems that go beyond implicational logic. In any case it will depend on the precise formulation of the notion of validity, in particular on its handling of atomic systems.